[isabelle-dev] The coming release
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.
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev