| changeset 19555 | 7938d8e0c52d |
| parent 19331 | f5e84acd7d3f |
| 19554:bc0bef4a124e | 19555:7938d8e0c52d |
|---|---|
8 (to discuss) |
8 (to discuss) |
9 - clarify relationship of "overview" and "logics": |
9 - clarify relationship of "overview" and "logics": |
10 * overview: Isabelle/HOL |
10 * overview: Isabelle/HOL |
11 * logics: Isabelle system |
11 * logics: Isabelle system |
12 (to discuss) |
12 (to discuss) |
13 |
|
14 - world_map: automated generation from coordinate data |
|
15 - world_map: more content in HTML, less in java script |