<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<font face="Helvetica, Arial, sans-serif">Hi Elias,<br>
<br>
maybe you want to write a brief description of <b>⎕RE</b> for <b>doc/apl.texi</b>
?<br>
And should we maybe call it <b>⎕REX</b>?<br>
<br>
Best Regards,<br>
Jürgen<br>
<br>
</font><br>
<div class="moz-cite-prefix">On 10/04/2017 12:30 PM, Elias Mårtenson
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CADtN0W+n=JxMYP4+Q=okeGrYNBV82rVmm4kx+g2G7VnDsAto=***@mail.gmail.com">
<div dir="ltr">Thanks.
<div><br>
</div>
<div>The version I sent to you still uses "B" as the code go
produce ⊂-compatible output. You might want to change that in
<font face="monospace, monospace">Quad_RE.cc</font> if you
want.</div>
<div><br>
</div>
<div>Regards,</div>
<div>Elias</div>
</div>
<div class="gmail_extra"><br>
<div class="gmail_quote">On 4 October 2017 at 18:06, Juergen
Sauermann <span dir="ltr"><<a
href="mailto:***@t-online.de"
target="_blank" moz-do-not-send="true">***@t-online.de</a>></span>
wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">
<div text="#000000" bgcolor="#FFFFFF"> <font
face="Helvetica, Arial, sans-serif">Hi Elias,<br>
<br>
yes, I will do so. May take a few days though.<br>
<br>
Best Regards,<br>
/// Jürgen<br>
</font>
<div>
<div class="h5"><br>
<br>
<div class="m_-4878812613670279176moz-cite-prefix">On
10/04/2017 07:43 AM, Elias Mårtenson wrote:<br>
</div>
<blockquote type="cite">
<div dir="ltr">Here's the diffs for the current
version of regexp support. It's probably stable
enough to use for real so that we can get some
feedback on it.
<div><br>
</div>
<div>Do you want to merge this?<br>
<div>
<div><br>
</div>
<div>Regards,</div>
<div>Elias</div>
</div>
</div>
</div>
</blockquote>
<br>
</div>
</div>
</div>
</blockquote>
</div>
<br>
</div>
</blockquote>
<br>
</body>
</html>