Hi Makarius, 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. I have introduced some shortcuts which are still missing in Isabelle/jEdit. But this is a minor thing. Really a huge improvement.
Best! On Mon, Dec 7, 2015 at 8:09 AM, Makarius <makar...@sketis.net> wrote: > The native Windows version of Poly/ML from this summer has occasionally > crashed in situations of low memory and high parallelism. > > 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: > http://www4.in.tum.de/~wenzelm/test/Isabelle_06-Dec-2015 > > > Makarius > _______________________________________________ > isabelle-dev mailing list > isabelle-...@in.tum.de > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev > -- Alfio Ricardo Martini PhD in Computer Science (TU Berlin) Associate Professor at Faculty of Informatics (PUCRS) www.inf.pucrs.br/alfio Av. Ipiranga, 6681 - Prédio 32 - Faculdade de Informática 90619-900 -Porto Alegre - RS - Brasil
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev