[isabelle-dev] Isabelle_20-Sep-2011

[Makarius]

Here is another pre-release snapshot:

http://www4.in.tum.de/~wenzelm/test/Isabelle_20-Sep-2011

This is based on Isabelle/436ea69d5d37 from today. Some contributing 
components have been updated as well, such as z3-3.1 and Emacs-23.3.app 
for Mac OS.

Even though October is approaching, we are not yet ready to commence the 
final release phase, because I've got a bit too many private mails from 
people starting very late to converge.  (As a rule of thumb one needs to 
begin getting serious 3 weeks earlier than anticipated.)


 	Makarius