Poly/ML 5.5.0 has been released officially a few days ago. In
Isabelle/a93d920707bb it is now included as one of the "main" components
by default, so subscribers to the new component setup will get it
automatically after the usual "isabelle components -a". Isabelle build
times should be reduced significantly.
There is now also a "Quick start in 20min" section in README_REPOSITORY.
When preparing a talk recently, I managed to get everything on a blank
Mountain Lion (without installing Java or Xcode etc.) up and running in
20min, although the projector actually did manage to show my normal Linux
display in the end.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
