]> matita.cs.unibo.it Git - helm.git/commit
- semantics of tactic subst allmost fixed
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 31 Aug 2006 17:41:07 +0000 (17:41 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 31 Aug 2006 17:41:07 +0000 (17:41 +0000)
commitdab40d3f522ad5e31a6b8967840c7b36937de83c
treedee57245f26efa12d2eae038e9aa0e17c13ac41f
parentfa9d8870aff80b2b3b186539d69701f39a2588f4
- semantics of tactic subst allmost fixed
- new tactical progress implemented (not working yet :( )
components/grafite/grafiteAst.ml
components/grafite/grafiteAstPp.ml
components/grafite_engine/grafiteEngine.ml
components/grafite_parser/grafiteParser.ml
components/tactics/continuationals.ml
components/tactics/continuationals.mli
components/tactics/equalityTactics.ml
components/tactics/tacticals.ml
components/tactics/tacticals.mli
matita/matita.lang