lp15 at cam.ac.uk
Thu Jan 5 12:16:36 CET 2012
This looks perfectly adequate for the sort of testing and evaluation somebody might want to do in connection with their theories. They don't need all the add-ons just to see if their theories will still build.
On 5 Jan 2012, at 09:16, Makarius wrote:
> Right now the build available on http://isabelle.in.tum.de/devel/ has still a few virtues compared to a repository clone:
> * tested against regular isatest
> * partly integrated as pseudo-release, e.g. the docs and
> Isabelle/Scala/jEdit are already compiled
> One would still need the add-on components, and play roulette with the corresponding versions.
More information about the isabelle-dev