]> matita.cs.unibo.it Git - helm.git/commit
* auto_tac removed (it can be found in CVS)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Jun 2005 12:24:13 +0000 (12:24 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Jun 2005 12:24:13 +0000 (12:24 +0000)
commit1db44a3e28f767afea3b87f21aaeb81c586b1733
treed936f41f84aa158738e8305f66ffc4e9b9c1fb5e
parent0da86404aeb2b8ee460e79be0ba42ff86c97e15e
* auto_tac removed (it can be found in CVS)
* auto_tac_new renamed to auto_tac
* TacticAst.Auto ported to auto_tac[_new] (i.e. width added)
* MetadataQuery.hint removed (only {new_,}experimental_hint were used)
helm/ocaml/tactics/autoTactic.ml
helm/ocaml/tactics/autoTactic.mli
helm/ocaml/tactics/metadataQuery.ml
helm/ocaml/tactics/metadataQuery.mli
helm/ocaml/tactics/tactics.ml
helm/ocaml/tactics/tactics.mli