<div dir="ltr">First impression: amazing!!<div><br></div><div>Huge thanks a lot for everyone involved in this new release. Isabelle/jEdit seems like</div><div>a brave new world!<br><div><br></div><div>All the Best!</div></div>
</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, Sep 25, 2013 at 12:37 PM, Makarius <span dir="ltr"><<a href="mailto:makarius@sketis.net" target="_blank">makarius@sketis.net</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Here is another integration test (based on Isabelle/c83727c7a510):<br>
<br>
  <a href="http://www4.in.tum.de/~wenzelm/test/Isabelle_25-Sep-2013" target="_blank">http://www4.in.tum.de/~<u></u>wenzelm/test/Isabelle_25-Sep-<u></u>2013</a><br>
<br>
Many of the contributing components have changed since last time, so it is worth checking again if everything fits together on all platforms, and nothing important is missing.<br>
<br>
Next week or so we start with official release candidates on isabelle-users.  Right now it is just everyday business on isabelle-dev.<span class="HOEnZb"><font color="#888888"><br>
<br>
<br>
        Makarius<br>
______________________________<u></u>_________________<br>
isabelle-dev mailing list<br>
<a href="mailto:isabelle-dev@in.tum.de" target="_blank">isabelle-dev@in.tum.de</a><br>
<a href="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev" target="_blank">https://mailmanbroy.<u></u>informatik.tu-muenchen.de/<u></u>mailman/listinfo/isabelle-dev</a><br>
</font></span></blockquote></div><br><br clear="all"><div><br></div>-- <br><div dir="ltr">Alfio Ricardo Martini<br>PhD in Computer Science (TU Berlin)<div><a href="http://www.inf.pucrs.br/alfio" target="_blank">www.inf.pucrs.br/alfio</a><br>
<div>Lattes:  <a href="http://lattes.cnpq.br/4016080665372277" target="_blank">http://lattes.cnpq.br/4016080665372277</a><br>Associate Professor at Faculty of Informatics (PUCRS)<div>Av. Ipiranga, 6681 - Prédio 32 - Faculdade de Informática</div>
<div>90619-900 -Porto Alegre - RS - Brasil</div></div></div></div>
</div>