[isabelle-dev] Isabelle release

Makarius makarius at sketis.net
Mon Oct 10 20:20:46 CEST 2011

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.


More information about the isabelle-dev mailing list