For the release:
- make build bed ()
- abandon old scripts: mirror-*, rsyncisabelle
- abandon old cache
- cleanup old dist
- redirect link -> proper sublinks
- 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?)
* big library
* big community
* it's free
* ...
(to discuss)
- clarify relationship of "overview" and "logics":
* overview: Isabelle/HOL
* logics: Isabelle system
(to discuss)