[isabelle-dev] Isabelle release
hoelzl at in.tum.de
Mon Oct 10 14:35:42 CEST 2011
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?
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
> The main Isabelle repository is already in post-release mode: I have merged
> the release branch in Isabelle/d78ec6c10fa1.
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev