[isabelle-dev] Isabelle_25-Sep-2013 integration test

Makarius makarius at sketis.net
Wed Sep 25 17:37:17 CEST 2013

Here is another integration test (based on Isabelle/c83727c7a510):


Many of the contributing components have changed since last time, so it is 
worth checking again if everything fits together on all platforms, and 
nothing important is missing.

Next week or so we start with official release candidates on 
isabelle-users.  Right now it is just everyday business on isabelle-dev.


More information about the isabelle-dev mailing list