[isabelle-dev] The coming release

Makarius makarius at sketis.net
Mon Sep 2 15:37:21 CEST 2013

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.


More information about the isabelle-dev mailing list