# HG changeset patch
# User haftmann
# Date 1127833991 -7200
# Node ID fe395990d52667f87716d4a1d7914f49a68d34b1
# Parent  442e7bec1d49dd740466b6e7bb59a453abf00d73
build bed

diff -r 442e7bec1d49 -r fe395990d526 Admin/website/README
--- 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
diff -r 442e7bec1d49 -r fe395990d526 Admin/website/TODO
--- 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