[isabelle-dev] Isabelle website

Tobias Nipkow nipkow at in.tum.de
Mon Sep 30 12:57:09 CEST 2013



Am 30/09/2013 12:45, schrieb 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?).
> 

Clearly that page should highlight the jedit interface now. It already does so
in the text, but we should also replace the PG image. The text with its link to
Larry's PG preview movie should be retained, maybe with a paranthetical remark
that it is out of date in places.

Tobias

>     Makarius
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev



More information about the isabelle-dev mailing list