[isabelle-dev] NEWS

Lawrence Paulson 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 mailing list