Admin/Mercurial/filemap
author haftmann
Tue, 12 May 2009 19:30:33 +0200
changeset 31125 80218ee73167
parent 28117 83b1f0f7de99
permissions -rw-r--r--
transferred code generator preprocessor into separate module

rename Doc doc-src
exclude Distribution/bin/Isabelle
exclude Admin/page/main-content/PG-preview.mov
exclude Admin/website/media/pg_preview.mov
rename Distribution .
rename CCL src/CCL
rename CTT src/CTT
rename Cube src/Cube
rename FOL src/FOL
rename FOLP src/FOLP
rename HOL src/HOL
rename HOLCF src/HOLCF
rename LCF src/LCF
rename LK src/LK
rename Modal src/Modal
rename Provers src/Provers
rename Pure src/Pure
rename Sequents src/Sequents
rename Tools src/Tools
rename ZF src/ZF