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