In preparation of Isabelle2013-1 the Isabelle website needs the usual
updating and polishing.
The relevant repository is here:
https://bitbucket.org/isabelle_project/isabelle-website/
Traditionally my main job is to get the Download / Installation part into
shape. I will do that before publishing the first release candidate.
Moreover, we should reconsider the old question what to do with
http://isabelle.in.tum.de/overview.html which still shows versions of
Proof General and XEmacs that are ancient even for Proof General standards
(from 2004/2005?).
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
