[isabelle-dev] Robust Windows support

[Alfio Martini]

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 <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:
> http://www4.in.tum.de/~wenzelm/test/Isabelle_06-Dec-2015
>
>
>         Makarius
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20151211/e18e6033/attachment-0002.html>