nipkow at in.tum.de
Tue Sep 18 01:51:46 CEST 2012
Brilliant stuff, the improvemenst are dramatic (again)!
Am 17/09/2012 15:44, schrieb Makarius:
> 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.
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev