|
17676
|
1 |
For the release:
|
|
17681
|
2 |
- announce build bed
|
|
17676
|
3 |
- abandon old scripts: mirror-*, rsyncisabelle
|
|
|
4 |
- abandon old cache
|
|
|
5 |
- cleanup old dist
|
|
|
6 |
- redirect link -> proper sublinks
|
|
|
7 |
- cleanup website mess (new dir "projects/")
|
|
16590
|
8 |
|
|
16241
|
9 |
In the mid-time:
|
|
16590
|
10 |
- a gentle intro enumeration on Home - "Why Isabelle?"
|
|
|
11 |
* stably running, mature system
|
|
|
12 |
* (something to say about Isar?)
|
|
|
13 |
* big library
|
|
|
14 |
* big community
|
|
|
15 |
* it's free
|
|
|
16 |
* ...
|
|
|
17 |
(to discuss)
|
|
16296
|
18 |
- clarify relationship of "overview" and "logics":
|
|
16575
|
19 |
* overview: Isabelle/HOL
|
|
|
20 |
* logics: Isabelle system
|
|
16590
|
21 |
(to discuss)
|