Admin/website/TODO
author wenzelm
Thu, 01 Sep 2005 23:08:15 +0200
changeset 17227 398a7353ca69
parent 16592 e7df213a1918
child 17563 abb280dd3431
permissions -rw-r--r--
curried_lookup/update;

For the next release:

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

- unify dist and main