equal
deleted
inserted
replaced
1 For the release: |
1 For the release: |
2 - announce build bed |
2 - announce build bed |
3 - abandon old scripts: mirror-*, rsyncisabelle |
3 - abandon old scripts: mirror-*, rsyncisabelle |
4 - abandon old cache |
4 - abandon old cache |
5 - cleanup old dist |
5 - cleanup website mess |
6 - redirect link -> proper sublinks |
|
7 - cleanup website mess (new dir "projects/") |
|
8 |
6 |
9 In the mid-time: |
7 In the mid-time: |
10 - a gentle intro enumeration on Home - "Why Isabelle?" |
8 - a gentle intro enumeration on Home - "Why Isabelle?" |
11 * stably running, mature system |
9 * stably running, mature system |
12 * (something to say about Isar?) |
10 * (something to say about Isar?) |