[isabelle-dev] Isabelle_20-Sep-2011

Makarius makarius at sketis.net
Tue Sep 20 22:29:58 CEST 2011


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


More information about the isabelle-dev mailing list