[isabelle-dev] Isabelle website
makarius at sketis.net
Mon Sep 30 12:45:22 CEST 2013
In preparation of Isabelle2013-1 the Isabelle website needs the usual
updating and polishing.
The relevant repository is here:
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
More information about the isabelle-dev