[isabelle-dev] back to post-release mode

Makarius makarius at sketis.net
Mon Sep 26 23:34:17 CEST 2011

The main isabelle repository http://isabelle.in.tum.de/repos/isabelle/ is 
now back to post-release mode, see 

This means the flow of changes for the next release, after the current 
one, can continue. I merely ask to avoid huge upheavals right now, until 
Isabelle2011-1 is officially shipped (probably mid October) and the 
release reposity merged back.


More information about the isabelle-dev mailing list