]> matita.cs.unibo.it Git - helm.git/commit
added letin, still broken
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 9 Apr 2009 16:16:26 +0000 (16:16 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 9 Apr 2009 16:16:26 +0000 (16:16 +0000)
commitee242468b221c64b25c99b52110fe00380f4eebe
tree5af3a85ec2468abc7ca271f86ec0ea7301d282b5
parent2b3de2b59f301c65cbc9985b18a25f659743a76a
added letin, still broken
helm/software/components/grafite/grafiteAst.ml
helm/software/components/grafite_engine/grafiteEngine.ml
helm/software/components/grafite_parser/grafiteParser.ml
helm/software/components/ng_tactics/nTactics.ml
helm/software/components/ng_tactics/nTactics.mli