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
rele
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 t
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
http://isabelle.in.tum.de/reports/Isabel
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 c