Admin/Mercurial/filemap
author paulson
Tue, 02 Mar 2010 12:59:16 +0000
changeset 35509 13e83ce8391b
parent 28117 83b1f0f7de99
permissions -rw-r--r--
merged
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
27447
0761334cd591 rename Doc doc-src;
wenzelm
parents: 27442
diff changeset
     1
rename Doc doc-src
27442
2d16f20adb4d exclude Distribution/bin/Isabelle;
wenzelm
parents: 27403
diff changeset
     2
exclude Distribution/bin/Isabelle
28117
83b1f0f7de99 exclude large .mov files;
wenzelm
parents: 27447
diff changeset
     3
exclude Admin/page/main-content/PG-preview.mov
83b1f0f7de99 exclude large .mov files;
wenzelm
parents: 27447
diff changeset
     4
exclude Admin/website/media/pg_preview.mov
27403
0fb81286c88f filemap for CVS -> Mercurial conversion;
wenzelm
parents:
diff changeset
     5
rename Distribution .
0fb81286c88f filemap for CVS -> Mercurial conversion;
wenzelm
parents:
diff changeset
     6
rename CCL src/CCL
0fb81286c88f filemap for CVS -> Mercurial conversion;
wenzelm
parents:
diff changeset
     7
rename CTT src/CTT
0fb81286c88f filemap for CVS -> Mercurial conversion;
wenzelm
parents:
diff changeset
     8
rename Cube src/Cube
0fb81286c88f filemap for CVS -> Mercurial conversion;
wenzelm
parents:
diff changeset
     9
rename FOL src/FOL
0fb81286c88f filemap for CVS -> Mercurial conversion;
wenzelm
parents:
diff changeset
    10
rename FOLP src/FOLP
0fb81286c88f filemap for CVS -> Mercurial conversion;
wenzelm
parents:
diff changeset
    11
rename HOL src/HOL
0fb81286c88f filemap for CVS -> Mercurial conversion;
wenzelm
parents:
diff changeset
    12
rename HOLCF src/HOLCF
0fb81286c88f filemap for CVS -> Mercurial conversion;
wenzelm
parents:
diff changeset
    13
rename LCF src/LCF
0fb81286c88f filemap for CVS -> Mercurial conversion;
wenzelm
parents:
diff changeset
    14
rename LK src/LK
0fb81286c88f filemap for CVS -> Mercurial conversion;
wenzelm
parents:
diff changeset
    15
rename Modal src/Modal
0fb81286c88f filemap for CVS -> Mercurial conversion;
wenzelm
parents:
diff changeset
    16
rename Provers src/Provers
0fb81286c88f filemap for CVS -> Mercurial conversion;
wenzelm
parents:
diff changeset
    17
rename Pure src/Pure
0fb81286c88f filemap for CVS -> Mercurial conversion;
wenzelm
parents:
diff changeset
    18
rename Sequents src/Sequents
0fb81286c88f filemap for CVS -> Mercurial conversion;
wenzelm
parents:
diff changeset
    19
rename Tools src/Tools
0fb81286c88f filemap for CVS -> Mercurial conversion;
wenzelm
parents:
diff changeset
    20
rename ZF src/ZF