Fri, 22 Apr 2005 02:03:52 +0200 | kleing | howto for changing web pages, simplified makefile access | changeset | files |
Fri, 22 Apr 2005 01:48:08 +0200 | kleing | check in Isabelle2004 versions to make web page changes easier | changeset | files |
Fri, 22 Apr 2005 01:38:13 +0200 | kleing | updated, added Admin/page after-release maintenance | changeset | files |