[isabelle-dev] The coming release

Tobias Nipkow nipkow at in.tum.de
Mon Sep 2 16:32:40 CEST 2013

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.


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

More information about the isabelle-dev mailing list