[isabelle-dev] isabelle-release repos

[Makarius]

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 
procedure.)

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


 	Makarius