<div dir="ltr"><div>Hi <span tabindex="-1" id=":2wf.1">Makarius</span>,</div><div><br></div><div>I am using it already as it is. It loads and runs incomparably faster than Isabelle 2015. I am impressed, especially when running sessions for preparation of documents.</div><div>I have introduced some shortcuts which are still missing in Isabelle/<span tabindex="-1" id=":2wf.2">jEdit</span>. But this is</div><div>a minor thing. Really a huge improvement.</div><div><br></div><div>Best!</div><div><br></div><div><br></div><div><br></div><div><br></div><div><br></div><div><br></div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Dec 7, 2015 at 8:09 AM, 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">The native Windows version of Poly/ML from this summer has occasionally crashed in situations of low memory and high parallelism.<br>
<br>
David Matthews has revisited that now, so it is expected to work better in Isabelle/16901b0392c6. There is also a snapshot of app bundles here: <a href="http://www4.in.tum.de/~wenzelm/test/Isabelle_06-Dec-2015" target="_blank" rel="noreferrer">http://www4.in.tum.de/~wenzelm/test/Isabelle_06-Dec-2015</a><span class="HOEnZb"><font color="#888888"><br>
<br>
<br>
        Makarius<br>
_______________________________________________<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" rel="noreferrer">https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev</a><br>
</font></span></blockquote></div><br><br clear="all"><br>-- <br><div class="gmail_signature"><div dir="ltr">Alfio Ricardo Martini<br>PhD in Computer Science (TU Berlin)<div><div>Associate Professor at Faculty of Informatics (PUCRS)</div><div><a href="http://www.inf.pucrs.br/alfio" target="_blank">www.inf.pucrs.br/alfio</a><br><div>Av. Ipiranga, 6681 - Prédio 32 - Faculdade de Informática</div><div>90619-900 -Porto Alegre - RS - Brasil</div></div></div></div></div>
</div>