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 > [email protected] > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
