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