# HG changeset patch
# User haftmann
# Date 1119966470 -7200
# Node ID 1a6ec7343ba96af5579437ecbf0d5cb2fff807a0
# Parent  24c32abc8b84eee32dbc5b646f918f463071b4c4
more sophisticated pypager

diff -r 24c32abc8b84 -r 1a6ec7343ba9 Admin/website/TODO
--- a/Admin/website/TODO	Tue Jun 28 15:28:30 2005 +0200
+++ b/Admin/website/TODO	Tue Jun 28 15:47:50 2005 +0200
@@ -9,12 +9,30 @@
 
 - add CONTRIBUTORS and COPYRIGHT to Packages
 
+- clarify purpose of the rsync daemon, consider
+  a rsyncd module for *both* main and dist;
+  upgrade rsync on atbroy1 to protocol 28,
+  to handle symlinks appropriately (?)
+
 In the mid-time:
 
+- a gentle intro enumeration on Home - "Why Isabelle?"
+    * stably running, mature system
+    * (something to say about Isar?)
+    * big library
+    * big community
+    * it's free
+    * ...
+  (to discuss)
+
 - clarify relationship of "overview" and "logics":
     * overview: Isabelle/HOL   
     * logics:   Isabelle system
+  (to discuss)
+
+- introduce "mirror switch boxes"
+  (to discuss)
 
 Visionary:
 
--
\ No newline at end of file
+- unify dist and main
\ No newline at end of file
diff -r 24c32abc8b84 -r 1a6ec7343ba9 Admin/website/build/pypager.py
--- a/Admin/website/build/pypager.py	Tue Jun 28 15:28:30 2005 +0200
+++ b/Admin/website/build/pypager.py	Tue Jun 28 15:47:50 2005 +0200
@@ -154,13 +154,12 @@
         handler.characters(u"%i%sKB" % (size / 1024, unichr(160)))
         handler.endElement(u"td")
 
-    def mirror(self, handler, prefix, title):
+    def mirror(self, handler, prefix, title, stripprefix = u""):
 
-        """<?mirror prefix="..." title="..."?> - generates a mirror switch link,
+        """<?mirror prefix="..." title="..." [stripprefix="..."] ?> - generates a mirror switch link,
            where prefix denotes the base root url of the mirror location
            and title the visible description"""
 
-        stripprefix = args.get(u"stripprefix", u"")
         thisloc = self._pc.relLocOfThis()
         if thisloc.startswith(stripprefix):
             thisloc = thisloc[len(stripprefix):]