Admin/website/TODO
author haftmann
Mon, 06 Jun 2005 12:17:59 +0200
changeset 16296 f05c81817ec6
parent 16241 bf058cdf6841
child 16311 d35f37a24e24
permissions -rw-r--r--
refinements

For the next release:

- use "//" paths for alle internal static resources, due to link consistency

- integrate into makedist-chain (Florian)

- more concise installation instructions for MaxOS X

- make preview second section in "overview"

- centralize scattered project partners informations at "community"

- move projects from "overview" to "community"

- reduce prominence of license issue at "overview"

In the mid-time:

- clarify relationship of "overview" and "logics":
    * overview: Isabelle/HOL
    * logics: Isabelle system

Visionary:

-