equal
deleted
inserted
replaced
1 rename Doc doc-src |
|
2 exclude Distribution/bin/Isabelle |
|
3 exclude Admin/page/main-content/PG-preview.mov |
|
4 exclude Admin/website/media/pg_preview.mov |
|
5 rename Distribution . |
|
6 rename CCL src/CCL |
|
7 rename CTT src/CTT |
|
8 rename Cube src/Cube |
|
9 rename FOL src/FOL |
|
10 rename FOLP src/FOLP |
|
11 rename HOL src/HOL |
|
12 rename HOLCF src/HOLCF |
|
13 rename LCF src/LCF |
|
14 rename LK src/LK |
|
15 rename Modal src/Modal |
|
16 rename Provers src/Provers |
|
17 rename Pure src/Pure |
|
18 rename Sequents src/Sequents |
|
19 rename Tools src/Tools |
|
20 rename ZF src/ZF |
|