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 |
4 |
|
5 - make preview second section in "overview" |
|
6 |
4 |
7 - centralize scattered project partners informations at "community" |
5 - centralize scattered project partners informations at "community" |
8 |
6 |
9 - move projects from "overview" to "community" |
7 - move projects from "overview" to "community" |
10 |
8 |
11 - reduce prominence of license issue at "overview" |
9 - reduce prominence of license issue at "overview" |
12 |
10 |
13 - add CONTRIBUTORS and COPYRIGHT to Packages |
11 - add CONTRIBUTORS and COPYRIGHT to Packages |
|
12 |
|
13 - attempt to include a notion of mirrors, in order to re-clarify |
|
14 the relationship between main and dist |
14 |
15 |
15 In the mid-time: |
16 In the mid-time: |
16 |
17 |
17 - clarify relationship of "overview" and "logics": |
18 - clarify relationship of "overview" and "logics": |
18 * overview: Isabelle/HOL |
19 * overview: Isabelle/HOL |