[isabelle-dev] Isabelle release

[Johannes Hoelzl]

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-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
>