makarius at sketis.net
Sat Sep 24 17:48:21 CEST 2011
Here is another pre-release snapshot:
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").
* The repository fork enables post release changes on the isabelle
repository, which should be limited in complexity to facilitate the
merge of isabelle-release after its publication.
* Instead of test snapshots there will be actual "release candidates".
These will be also announced on isabelle-users to get a few more
people to actually try them.
* After 2-3 week we can ship the final release.
More information about the isabelle-dev