Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/Mercurial/filemap
author nipkow
Wed, 12 May 2010 15:25:02 +0200
changeset 36867 6c28c702ed22
parent 28117 83b1f0f7de99
permissions -rw-r--r--
simplified proof
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
isabelle