[isabelle-dev] Robust Windows support
alfio.martini at acm.org
Fri Dec 11 09:32:55 CET 2015
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.
On Mon, Dec 7, 2015 at 8:09 AM, Makarius <makarius at 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:
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
Alfio Ricardo Martini
PhD in Computer Science (TU Berlin)
Associate Professor at Faculty of Informatics (PUCRS)
Av. Ipiranga, 6681 - Prédio 32 - Faculdade de Informática
90619-900 -Porto Alegre - RS - Brasil
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the isabelle-dev