]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d705186) | 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)
commit8d55798c22b29c00febc623234db5f57483c0401
treefdd0a2934f75b8b948a749c7bd30e31e32461e7etree | snapshot
parentd705186a007793101ae23a53fe273e19525e6dc4commit | diff
ZACK: export a top level function for parsing terms, it can't be bypassed due to the Obj.magic trick
helm/software/components/content_pres/cicNotationParser.ml diff | blob | history
helm/software/components/content_pres/cicNotationParser.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.