--- 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
--- 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):]