[isabelle-dev] Isabelle website

[Makarius]

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