Admin/website/TODO

more sophisticated pypager

For the next release:

- better argument handling in pypager --> test it

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

-