]> matita.cs.unibo.it Git - helm.git/commit
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
treefdd0a2934f75b8b948a749c7bd30e31e32461e7e
parentd705186a007793101ae23a53fe273e19525e6dc4
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
helm/software/components/content_pres/cicNotationParser.mli