]> matita.cs.unibo.it Git - helm.git/commit - matita/components/METAS/meta.helm-content_pres.src
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f5065f3) | patch
Minor code clean-up to simplify module dependencies.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 4 Nov 2010 20:54:55 +0000 (20:54 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 4 Nov 2010 20:54:55 +0000 (20:54 +0000)
commit8161bcb58808e60658072bc3da83b62d1df2a223
tree24bfd5d9f38eb77aa5d6c66b6b212060c1bd2e35tree | snapshot
parentf5065f33e0689753c3f2744928b96851ca77ca8dcommit | diff
Minor code clean-up to simplify module dependencies.
matita/components/METAS/meta.helm-content_pres.src diff | blob | history
matita/components/content_pres/cicNotationPres.ml diff | blob | history
matita/components/content_pres/cicNotationPres.mli diff | blob | history
matita/components/content_pres/content2pres.mli diff | blob | history
matita/components/content_pres/sequent2pres.mli diff | blob | history
matita/components/ng_cic_content/interpretations.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.