[isabelle-dev] Isabelle website

Makarius 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 
(from 2004/2005?).


More information about the isabelle-dev mailing list