]> matita.cs.unibo.it Git - helm.git/commit
added metadata "commands"
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 5 Oct 2005 16:10:13 +0000 (16:10 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 5 Oct 2005 16:10:13 +0000 (16:10 +0000)
commit22bc6da37df76df92c51165880ba5e0c5065c6ec
treecdc8b1b921bd87e3108101fd767f527128f74352
parentdf51c03d7dc9657be73fa83f3b7899ded2681402
added metadata "commands"
helm/ocaml/cic_notation/grafiteAst.ml
helm/ocaml/cic_notation/grafiteAstPp.ml
helm/ocaml/cic_notation/grafiteAstPp.mli
helm/ocaml/cic_notation/grafiteParser.ml