Admin/website/TODO
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
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
16241
bf058cdf6841 adjusted navigation width
haftmann
parents:
diff changeset
     1
For the next release:
bf058cdf6841 adjusted navigation width
haftmann
parents:
diff changeset
     2
16296
f05c81817ec6 refinements
haftmann
parents: 16241
diff changeset
     3
- use "//" paths for alle internal static resources, due to link consistency
f05c81817ec6 refinements
haftmann
parents: 16241
diff changeset
     4
f05c81817ec6 refinements
haftmann
parents: 16241
diff changeset
     5
- integrate into makedist-chain (Florian)
f05c81817ec6 refinements
haftmann
parents: 16241
diff changeset
     6
f05c81817ec6 refinements
haftmann
parents: 16241
diff changeset
     7
- more concise installation instructions for MaxOS X
f05c81817ec6 refinements
haftmann
parents: 16241
diff changeset
     8
f05c81817ec6 refinements
haftmann
parents: 16241
diff changeset
     9
- make preview second section in "overview"
f05c81817ec6 refinements
haftmann
parents: 16241
diff changeset
    10
f05c81817ec6 refinements
haftmann
parents: 16241
diff changeset
    11
- centralize scattered project partners informations at "community"
f05c81817ec6 refinements
haftmann
parents: 16241
diff changeset
    12
f05c81817ec6 refinements
haftmann
parents: 16241
diff changeset
    13
- move projects from "overview" to "community"
f05c81817ec6 refinements
haftmann
parents: 16241
diff changeset
    14
f05c81817ec6 refinements
haftmann
parents: 16241
diff changeset
    15
- reduce prominence of license issue at "overview"
16241
bf058cdf6841 adjusted navigation width
haftmann
parents:
diff changeset
    16
bf058cdf6841 adjusted navigation width
haftmann
parents:
diff changeset
    17
In the mid-time:
bf058cdf6841 adjusted navigation width
haftmann
parents:
diff changeset
    18
16296
f05c81817ec6 refinements
haftmann
parents: 16241
diff changeset
    19
- clarify relationship of "overview" and "logics":
f05c81817ec6 refinements
haftmann
parents: 16241
diff changeset
    20
    * overview: Isabelle/HOL
f05c81817ec6 refinements
haftmann
parents: 16241
diff changeset
    21
    * logics: Isabelle system
16241
bf058cdf6841 adjusted navigation width
haftmann
parents:
diff changeset
    22
bf058cdf6841 adjusted navigation width
haftmann
parents:
diff changeset
    23
Visionary:
bf058cdf6841 adjusted navigation width
haftmann
parents:
diff changeset
    24
bf058cdf6841 adjusted navigation width
haftmann
parents:
diff changeset
    25
-