|
16241
|
1 |
For the next release:
|
|
|
2 |
|
|
16586
|
3 |
- better argument handling in pypager --> test it
|
|
16584
|
4 |
|
|
16296
|
5 |
- centralize scattered project partners informations at "community"
|
|
|
6 |
- move projects from "overview" to "community"
|
|
|
7 |
|
|
|
8 |
- reduce prominence of license issue at "overview"
|
|
16241
|
9 |
|
|
16311
|
10 |
- add CONTRIBUTORS and COPYRIGHT to Packages
|
|
|
11 |
|
|
16590
|
12 |
- clarify purpose of the rsync daemon, consider
|
|
|
13 |
a rsyncd module for *both* main and dist;
|
|
|
14 |
upgrade rsync on atbroy1 to protocol 28,
|
|
|
15 |
to handle symlinks appropriately (?)
|
|
|
16 |
|
|
16241
|
17 |
In the mid-time:
|
|
|
18 |
|
|
16590
|
19 |
- a gentle intro enumeration on Home - "Why Isabelle?"
|
|
|
20 |
* stably running, mature system
|
|
|
21 |
* (something to say about Isar?)
|
|
|
22 |
* big library
|
|
|
23 |
* big community
|
|
|
24 |
* it's free
|
|
|
25 |
* ...
|
|
|
26 |
(to discuss)
|
|
|
27 |
|
|
16296
|
28 |
- clarify relationship of "overview" and "logics":
|
|
16575
|
29 |
* overview: Isabelle/HOL
|
|
|
30 |
* logics: Isabelle system
|
|
16590
|
31 |
(to discuss)
|
|
|
32 |
|
|
|
33 |
- introduce "mirror switch boxes"
|
|
|
34 |
(to discuss)
|
|
16241
|
35 |
|
|
|
36 |
Visionary:
|
|
|
37 |
|
|
16590
|
38 |
- unify dist and main |