[isabelle-dev] NEWS

[Lawrence Paulson]

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.
Larry

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.