[isabelle-dev] Post-release mode

Makarius makarius at sketis.net
Mon Nov 11 18:45:36 CET 2013

After extra-long testing of release candidates we are back to normal.

Isabelle/50199af40c27 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