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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
