]> matita.cs.unibo.it Git - helm.git/commit
initial support for notation that specifies the precedence of term variables, that...
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 18 Jun 2008 15:03:32 +0000 (15:03 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 18 Jun 2008 15:03:32 +0000 (15:03 +0000)
commitbcf9a65332d321c25761207e2fb17110dbdc8241
tree33e33767b39e9594ef15fac8f3e7a307f2af90a7
parent1bbc2dd649df75e33f2cd7fb3e5ecb15f526a442
initial support for notation that specifies the precedence of term variables, that allows to omit many useless parenthesis
helm/software/components/acic_content/cicNotationEnv.ml
helm/software/components/acic_content/cicNotationEnv.mli
helm/software/components/acic_content/cicNotationPp.ml
helm/software/components/acic_content/cicNotationPt.ml
helm/software/components/acic_content/cicNotationUtil.ml
helm/software/components/content_pres/cicNotationParser.ml
helm/software/components/content_pres/cicNotationPres.ml
helm/software/components/content_pres/content2presMatcher.ml
helm/software/components/content_pres/termContentPres.ml