]> matita.cs.unibo.it Git - helm.git/commit
generalized is half-implemented (still broken)
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 8 Apr 2009 14:18:33 +0000 (14:18 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 8 Apr 2009 14:18:33 +0000 (14:18 +0000)
commitb438322c4140e3d2395d693e9c5f0e96934436a0
tree87b5ae9aa8a457ed74db88f7e86c4e77a95bb7ba
parent463dc6672bcdc0eb63e1638fa75212387d54179a
generalized is half-implemented (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/nTacStatus.ml
helm/software/components/ng_tactics/nTacStatus.mli
helm/software/components/ng_tactics/nTactics.ml
helm/software/components/ng_tactics/nTactics.mli