]> matita.cs.unibo.it Git - helm.git/commit
New tactic intro. Syntax: "# n".
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 1 Apr 2009 20:40:51 +0000 (20:40 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 1 Apr 2009 20:40:51 +0000 (20:40 +0000)
commitd072c3ea699cf33189d18d8431fda9750fc2eb93
treec880ab9eafc8267f01576b1d5b0784a6d9b52082
parent780525c2f318cfe782c3d41b70607ba9d72bcc80
New tactic intro. Syntax: "# n".
helm/software/components/grafite/grafiteAst.ml
helm/software/components/grafite/grafiteAstPp.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