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