[isabelle-dev] back to post-release mode

[Makarius]

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

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.


 	Makarius