Admin/website/TODO

started migration framwork script

For the next release:

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

- 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"

- add CONTRIBUTORS and COPYRIGHT to Packages

In the mid-time:

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

Visionary:

-