Admin/website/TODO
changeset 18214 857444b28267
parent 17750 a0745bc36660
child 19331 f5e84acd7d3f
equal deleted inserted replaced
18213:c22ee06ac1a7 18214:857444b28267
     1 For the release:
       
     2 - announce build bed
       
     3 - abandon old scripts: mirror-*, rsyncisabelle
       
     4 - abandon old cache
       
     5 - cleanup website mess
       
     6 
       
     7 In the mid-time:
     1 In the mid-time:
     8 - a gentle intro enumeration on Home - "Why Isabelle?"
     2 - a gentle intro enumeration on Home - "Why Isabelle?"
     9     * stably running, mature system
     3     * stably running, mature system
    10     * (something to say about Isar?)
     4     * (something to say about Isar?)
    11     * big library
     5     * big library