[isabelle-dev] isatest on isabelle-release

Makarius makarius at sketis.net
Thu Nov 28 13:47:24 CET 2013

Important note: isatest is presently testing 
https://bitbucket.org/isabelle_project/isabelle-release again.

There have been a bit too many posthoc changes for Isabelle2013-1 to trust 
blindly that the usual collection of isatest platforms still work. The 
final Isabelle2013-2 release will probably happen in 1 week.


More information about the isabelle-dev mailing list