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.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
