[isabelle-dev] isabelle-release repository

Makarius makarius at sketis.net
Mon Sep 26 23:38:38 CEST 2011

The release branch for Isabelle2011-1 is now at 

Any small changes and amendments can be mailed to me (cf. "hg export" or 
"hg bundle").  Things to be added to isabelle-release should *not* be 
pushed on the main isabelle repository, to avoid the confusion of 
self-merges with copied changesets.

isatest will also test http://isabelle.in.tum.de/repos/isabelle-release 
within the next few weeks.  (In the past I used to have a minimal isatest 
for http://isabelle.in.tum.de/repos/isabelle but that was superseded by 
http://isabelle.in.tum.de/reports/Isabelle/ last time.  Can we count on 
this again?)


More information about the isabelle-dev mailing list