[isabelle-dev] isabelle-release repos

Makarius makarius at sketis.net
Mon Sep 26 20:20:12 CEST 2011

On Sat, 24 Sep 2011, Makarius wrote:

> Here is another pre-release snapshot: 
> http://www4.in.tum.de/~wenzelm/test/Isabelle_24-Sep-2011
> This is probably the last one before the final release phase starts within 
> the next few days.  This means:
>  * The isabelle repository is cloned to isabelle-release, without push
>    access.  Important fixes can still be applied by sending me clean hg
>    changesets via email (cf. "hg export").

I am about to produce the release clone.  The current tip eb7a797ade0f 
will probably be the fork point.  This includes a few changes by Lukas and 
Jasmin from today, and I understand that these were meant to go into this 
release, not the next one.  (Someone else was confused about the fork 

For post-release changes on the regular repos, please wait until it is 
officially opened again (maybe within a few hours).


More information about the isabelle-dev mailing list