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 wenzelm
Thu, 10 Jul 2008 13:37:31 +0200
changeset 27519 59b54d80d2ae
parent 27447 0761334cd591
child 28117 83b1f0f7de99
permissions -rw-r--r--
slightly improved @{lemma} (both for latex and ML); misc tuning;
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
27403
0fb81286c88f filemap for CVS -> Mercurial conversion;
wenzelm
parents:
diff changeset 
     3
 
rename Distribution .
0fb81286c88f filemap for CVS -> Mercurial conversion;
wenzelm
parents:
diff changeset 
     4
 
rename CCL src/CCL
0fb81286c88f filemap for CVS -> Mercurial conversion;
wenzelm
parents:
diff changeset 
     5
 
rename CTT src/CTT
0fb81286c88f filemap for CVS -> Mercurial conversion;
wenzelm
parents:
diff changeset 
     6
 
rename Cube src/Cube
0fb81286c88f filemap for CVS -> Mercurial conversion;
wenzelm
parents:
diff changeset 
     7
 
rename FOL src/FOL
0fb81286c88f filemap for CVS -> Mercurial conversion;
wenzelm
parents:
diff changeset 
     8
 
rename FOLP src/FOLP
0fb81286c88f filemap for CVS -> Mercurial conversion;
wenzelm
parents:
diff changeset 
     9
 
rename HOL src/HOL
0fb81286c88f filemap for CVS -> Mercurial conversion;
wenzelm
parents:
diff changeset 
    10
 
rename HOLCF src/HOLCF
0fb81286c88f filemap for CVS -> Mercurial conversion;
wenzelm
parents:
diff changeset 
    11
 
rename LCF src/LCF
0fb81286c88f filemap for CVS -> Mercurial conversion;
wenzelm
parents:
diff changeset 
    12
 
rename LK src/LK
0fb81286c88f filemap for CVS -> Mercurial conversion;
wenzelm
parents:
diff changeset 
    13
 
rename Modal src/Modal
0fb81286c88f filemap for CVS -> Mercurial conversion;
wenzelm
parents:
diff changeset 
    14
 
rename Provers src/Provers
0fb81286c88f filemap for CVS -> Mercurial conversion;
wenzelm
parents:
diff changeset 
    15
 
rename Pure src/Pure
0fb81286c88f filemap for CVS -> Mercurial conversion;
wenzelm
parents:
diff changeset 
    16
 
rename Sequents src/Sequents
0fb81286c88f filemap for CVS -> Mercurial conversion;
wenzelm
parents:
diff changeset 
    17
 
rename Tools src/Tools
0fb81286c88f filemap for CVS -> Mercurial conversion;
wenzelm
parents:
diff changeset 
    18
 
rename ZF src/ZF
isabelle