]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 161370f) | patch
ZACK: export a top level function for parsing terms, it can't be bypassed due to...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 30 May 2006 10:22:57 +0000 (10:22 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 30 May 2006 10:22:57 +0000 (10:22 +0000)
commita408b8e26e4ea85755847f74bf9ca6998c2b47b0
tree892e59cfc3d708cb600e4825a3a5a51e3e7e2482tree | snapshot
parent161370fe79c115665e53fbbcd677715fb5a62997commit | diff
ZACK: export a top level function for parsing terms, it can't be bypassed due to the Obj.magic trick
components/content_pres/cicNotationParser.ml diff | blob | history
components/content_pres/cicNotationParser.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.