[isabelle-dev] Post-release mode

Makarius makarius at sketis.net
Wed Feb 13 12:10:40 CET 2013

The carnival is over and we are back to normal.

Isabelle/0a55ac5bdd92 is the merge point for the release branch from 

Now the main Isabelle repository is again the main focus for working 
towards the next release.


More information about the isabelle-dev mailing list