author haftmann
Mon, 06 Jun 2005 14:12:07 +0200
changeset 16301 f9f2e1643593
parent 16296 f05c81817ec6
child 16311 d35f37a24e24
permissions -rw-r--r--
migrated scripts to new webiste

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