[isabelle-dev] NEWS

Makarius makarius at sketis.net
Thu Jan 5 17:49:22 CET 2012

On Thu, 5 Jan 2012, Lawrence Paulson wrote:

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

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

When taking a development snapshot users will get the full load of 
accidental incompatibilities, not just the 'a set thing, and usually get 
into a pitch somewhere in the middle of two official releases.

The situation is different for test releases, because they are *almost* 
the next release, so any efforts to port towards them are not lost.


More information about the isabelle-dev mailing list