Dear all,
we are past point 0 for the Isabelle2012 release. This means:
* http://isabelle.in.tum.de/repos/isabelle-release/rev/d9a09f965dab is
the starting point for the final phase before roll-out in 2 weeks.
There is no push access. Any changes that are essential for the
The release branch for Isabelle2011-1 is now at
http://isabelle.in.tum.de/repos/isabelle-release
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
On 09/26/2011 11:38 PM, Makarius wrote:
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
On 27/09/2011, at 7:45 AM, Alexander Krauss wrote:
On 09/26/2011 11:38 PM, Makarius wrote:
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