[isabelle-dev] Isabelle_10-Sep-2013

Makarius makarius at sketis.net
Tue Sep 10 15:28:44 CEST 2013

A first integration test for the coming release is available here: 

Anybody who wants to take a look is welcome to post comments here on 
isabelle-dev, not isabelle-users.

There seems to be an occasional misunderstanding of isabelle-dev as a 
members-only club for "Isabelle developers". It is actually an open 
mailing list that revolves around Isabelle development, not developers. 
Anybody who does testing of intermediate snapshots participates in that 
development process and should give feedback here.

There are still a few weeks until we can start official public testing of 
Isabelle2013-1 release candidates, and various things are expected to 
change again before the release converges.


More information about the isabelle-dev mailing list