[isabelle-dev] polyml-5.5.0

Tobias Nipkow nipkow at in.tum.de
Tue Sep 18 01:51:46 CEST 2012


Brilliant stuff, the improvemenst are dramatic (again)!

Tobias

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.
> 
> 
>     Makarius
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev



More information about the isabelle-dev mailing list