[isabelle-dev] Isabelle_25-Sep-2013 integration test
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