<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <p><font size="+1">Next year will be fine for collaboration with you
        and Juan. <br>
      </font></p>
    <p><font size="+1">I try to schedule in advance. I have still a lot
        to do in other part of DrGeo.<br>
      </font></p>
    <p><font size="+1">My objective for the next school year (end of
        August 2022), is to be capable to use a Cuis version of DrGeo
        with my students, for geometry and programming teaching. They
        are fantastic bug catcher</font>s.</p>
    <p>Best<br>
    </p>
    <div class="moz-cite-prefix">Le 29/10/2021 à 13:27, Nicola Mingotti
      a écrit :<br>
    </div>
    <blockquote type="cite"
cite="mid:CAG5qL5QDhowVESDmL4XJt4a7RdrxuY4=KbjotYKV9ZzGuV+6pQ@mail.gmail.com">
      <div><br>
      </div>
      <div dir="auto">hi hilaire, </div>
      <div dir="auto"><br>
      </div>
      <div dir="auto">sorry for brute typing, i am in fair, writing from
        phone. </div>
      <div dir="auto"><br>
      </div>
      <div dir="auto">it seems a useful infrastructure package, i could
        give you an hand. </div>
      <div dir="auto"><br>
      </div>
      <div dir="auto">but, for the moment i have more urgent holes to
        cover. i have almost done a port of an old Squeak Postgres
        package. and it it would be great if i could extend Regex to
        manage non greedy patterns, on this at the moment i am stuck. </div>
      <div dir="auto"><br>
      </div>
      <div dir="auto">so, i can help you but not in short time, say, not
        before new year. </div>
      <div dir="auto"><br>
      </div>
      <div dir="auto">bye</div>
      <div dir="auto">nicola </div>
    </blockquote>
    <pre class="moz-signature" cols="72">-- 
GNU Dr. Geo
<a class="moz-txt-link-freetext" href="http://drgeo.eu">http://drgeo.eu</a>
<a class="moz-txt-link-freetext" href="http://blog.drgeo.eu">http://blog.drgeo.eu</a></pre>
  </body>
</html>