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?
- Johannes
On Mon, 10 Oct 2011, Makarius wrote:
Dear all,
the release is alreay in place, but before announcing it officially the
Sydney mirror needs another round of updating, which will probably happen
around midnight GMT. This gives another chance to sport drop-outs on the
website.
The main Isabelle repository is already in post-release mode: I have merged
the release branch in Isabelle/d78ec6c10fa1.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev