[isabelle-dev] Isabelle release

[Makarius]

On Mon, 10 Oct 2011, Johannes Hoelzl wrote:

> I looked for the documentation of HOL-Probability, but it looks like it is 
> missing. It should be under HOL-Multivatiate-Analysis, but there are now 
> further Session. Was there a change in the build-system?

Yes in fc3bb3a42369 by Alex Krauss, to accomodate SML/NJ in mira.

I have now updated the library build script accordingly (e54a985daa61) and 
rebuilt the whole thing.  This now takes 4h, which looks more realistic 
than the 2h before.


 	Makarius