]> matita.cs.unibo.it Git - helm.git/commit
* various bug fix related to the environment returned when a match
authorLuca Padovani <luca.padovani@unito.it>
Mon, 11 Jul 2005 13:28:21 +0000 (13:28 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Mon, 11 Jul 2005 13:28:21 +0000 (13:28 +0000)
commitea7808d83a7d6e03c0e163f0691e268dcd7c2ea4
treefb00030f92ea88a70571a3ddb3842d5ffc1683a4
parent007b87c1fcc2c428c16c846fcaf6e31007d87994
* various bug fix related to the environment returned when a match
  occurs
* first implementation of the "if" magic
helm/ocaml/cic_notation/cicNotationEnv.ml
helm/ocaml/cic_notation/cicNotationEnv.mli
helm/ocaml/cic_notation/cicNotationMatcher.ml
helm/ocaml/cic_notation/cicNotationParser.ml
helm/ocaml/cic_notation/cicNotationPp.ml
helm/ocaml/cic_notation/cicNotationPt.ml
helm/ocaml/cic_notation/cicNotationRew.ml
helm/ocaml/cic_notation/cicNotationUtil.ml