--- a/Admin/website/README Tue Sep 27 17:09:46 2005 +0200
+++ b/Admin/website/README Tue Sep 27 17:13:11 2005 +0200
@@ -115,6 +115,7 @@
* there do an CVS update if desired
* do your changes
* just type make - the website is builded to the website synchronization cache
+* for sure, check groups (isabelle) and permissions (rw-/rwx)
* then do CVS commit
* for updating the webpage in Munich, just use Admin/mirror-website
* if the Isabelle distribution files themselves change, some handwired updating
--- a/Admin/website/TODO Tue Sep 27 17:09:46 2005 +0200
+++ b/Admin/website/TODO Tue Sep 27 17:13:11 2005 +0200
@@ -7,7 +7,6 @@
- cleanup website mess (new dir "projects/")
In the mid-time:
-
- a gentle intro enumeration on Home - "Why Isabelle?"
* stably running, mature system
* (something to say about Isar?)
@@ -16,7 +15,6 @@
* it's free
* ...
(to discuss)
-
- clarify relationship of "overview" and "logics":
* overview: Isabelle/HOL
* logics: Isabelle system