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 > [email protected] > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
