]> matita.cs.unibo.it Git - helm.git/commit
Got rid of a few warnings.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 10 Jun 2005 15:39:29 +0000 (15:39 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 10 Jun 2005 15:39:29 +0000 (15:39 +0000)
commit9415c1b38c7927adab499ddd75f9a19d650a9acd
tree29c7b5dea963f14800c51ce32823d53555be35be
parent6a5752ce7b5d3fc6fea133b49cf7fd7a9e03deb4
Got rid of a few warnings.
helm/ocaml/tactics/autoTactic.ml
helm/ocaml/tactics/autoTactic.mli
helm/ocaml/tactics/primitiveTactics.ml
helm/ocaml/tactics/primitiveTactics.mli
helm/ocaml/tactics/tactics.mli