equal
deleted
inserted
replaced
1 For the next release: |
1 For the next release: |
2 |
2 |
3 - integrate into makedist (Florian), deploy on Munich site |
3 - use "//" paths for alle internal static resources, due to link consistency |
|
4 |
|
5 - integrate into makedist-chain (Florian) |
|
6 |
|
7 - more concise installation instructions for MaxOS X |
|
8 |
|
9 - make preview second section in "overview" |
|
10 |
|
11 - centralize scattered project partners informations at "community" |
|
12 |
|
13 - move projects from "overview" to "community" |
|
14 |
|
15 - reduce prominence of license issue at "overview" |
4 |
16 |
5 In the mid-time: |
17 In the mid-time: |
6 |
18 |
7 - |
19 - clarify relationship of "overview" and "logics": |
|
20 * overview: Isabelle/HOL |
|
21 * logics: Isabelle system |
8 |
22 |
9 Visionary: |
23 Visionary: |
10 |
24 |
11 - |
25 - |