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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
