author | wenzelm |
Tue, 13 Jun 2006 23:41:39 +0200 | |
changeset 19876 | 11d447d5d68c |
parent 19555 | 7938d8e0c52d |
permissions | -rw-r--r-- |
- a gentle intro enumeration on Home - "Why Isabelle?" * stably running, mature system * (something to say about Isar?) * big library * big community * it's free * ... (to discuss) - clarify relationship of "overview" and "logics": * overview: Isabelle/HOL * logics: Isabelle system (to discuss) - world_map: automated generation from coordinate data - world_map: more content in HTML, less in java script