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 confusion of
self-merges with copied changesets.
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/Isabelle/ last time. Can we count on
this again?)
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
