isabelle: Admin/website/TODO@7938d8e0c52d (annotated)

16590 1a6ec7343ba9 more sophisticated pypager haftmann parents: 16586 diff changeset	1	- a gentle intro enumeration on Home - "Why Isabelle?"
1a6ec7343ba9 more sophisticated pypager haftmann parents: 16586 diff changeset	2	* stably running, mature system
1a6ec7343ba9 more sophisticated pypager haftmann parents: 16586 diff changeset	3	* (something to say about Isar?)
1a6ec7343ba9 more sophisticated pypager haftmann parents: 16586 diff changeset	4	* big library
1a6ec7343ba9 more sophisticated pypager haftmann parents: 16586 diff changeset	5	* big community
1a6ec7343ba9 more sophisticated pypager haftmann parents: 16586 diff changeset	6	* it's free
1a6ec7343ba9 more sophisticated pypager haftmann parents: 16586 diff changeset	7	* ...
1a6ec7343ba9 more sophisticated pypager haftmann parents: 16586 diff changeset	8	(to discuss)
16296 f05c81817ec6 refinements haftmann parents: 16241 diff changeset	9	- clarify relationship of "overview" and "logics":
16575 15d5f8e729fe some minor improvements haftmann parents: 16572 diff changeset	10	* overview: Isabelle/HOL
15d5f8e729fe some minor improvements haftmann parents: 16572 diff changeset	11	* logics: Isabelle system
16590 1a6ec7343ba9 more sophisticated pypager haftmann parents: 16586 diff changeset	12	(to discuss)
19555 7938d8e0c52d fixed some flaws haftmann parents: 19331 diff changeset	13
7938d8e0c52d fixed some flaws haftmann parents: 19331 diff changeset	14	- world_map: automated generation from coordinate data
7938d8e0c52d fixed some flaws haftmann parents: 19331 diff changeset	15	- world_map: more content in HTML, less in java script

author	haftmann
	Thu, 04 May 2006 10:13:55 +0200
changeset 19555	7938d8e0c52d
parent 19331	f5e84acd7d3f
permissions	-rw-r--r--