[isabelle-dev] The coming release

[Tobias Nipkow]

The earlier the better because, as I told you at ITP, I have a course starting
in the middle of October and they need to use a new Isabelle, in the worst case
a release candidate.

Tobias

Am 02/09/2013 15:37, schrieb Makarius:
> The French summer vacation period has ended, so I've switched myself now into
> "consolidation mode" to put things into shape for release.
> 
> The first release candidates of Isabelle2013-1 will probably happen in the first
> or second week of October.
> 
> 
>     Makarius
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev