equal
deleted
inserted
replaced
1 For the next release: |
1 For the next release: |
2 |
2 |
3 - use "//" paths for alle internal static resources, due to link consistency |
3 - use "//" paths for alle internal static resources, due to link consistency (check it) |
|
4 |
|
5 - Spam-Schutz!? (check it) |
|
6 |
|
7 - attempt to introduce a notion of mirrors, in order to clarify |
|
8 the relationship between main and dist |
4 |
9 |
5 - centralize scattered project partners informations at "community" |
10 - centralize scattered project partners informations at "community" |
6 |
11 |
7 - move projects from "overview" to "community" |
12 - move projects from "overview" to "community" |
8 |
13 |
9 - reduce prominence of license issue at "overview" |
14 - reduce prominence of license issue at "overview" |
10 |
15 |
11 - add CONTRIBUTORS and COPYRIGHT to Packages |
16 - add CONTRIBUTORS and COPYRIGHT to Packages |
12 |
17 |
13 - attempt to include a notion of mirrors, in order to re-clarify |
|
14 the relationship between main and dist |
|
15 |
|
16 In the mid-time: |
18 In the mid-time: |
17 |
19 |
18 - clarify relationship of "overview" and "logics": |
20 - clarify relationship of "overview" and "logics": |
19 * overview: Isabelle/HOL |
21 * overview: Isabelle/HOL |
20 * logics: Isabelle system |
22 * logics: Isabelle system |
21 |
23 |
22 Visionary: |
24 Visionary: |
23 |
25 |
24 - |
26 - |