changeset 20110 | c2ffa1783319 |
parent 20109 | 47fef41c68fb |
child 20111 | ba1676dd3546 |
20109:47fef41c68fb | 20110:c2ffa1783319 |
---|---|
1 - a gentle intro enumeration on Home - "Why Isabelle?" |
|
2 * stably running, mature system |
|
3 * (something to say about Isar?) |
|
4 * big library |
|
5 * big community |
|
6 * it's free |
|
7 * ... |
|
8 (to discuss) |
|
9 - clarify relationship of "overview" and "logics": |
|
10 * overview: Isabelle/HOL |
|
11 * logics: Isabelle system |
|
12 (to discuss) |
|
13 |
|
14 - world_map: automated generation from coordinate data |
|
15 - world_map: more content in HTML, less in java script |