]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 59a0771) | patch
- added Tactics module as a common point where tactics could be accessed
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 5 Nov 2004 11:03:01 +0000 (11:03 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 5 Nov 2004 11:03:01 +0000 (11:03 +0000)
commit03cb4be465e546a00f870213b14dcf1b71c4831d
treec58b07079ead41244266b74310dd42a5f2cbbc2dtree | snapshot
parent59a077151336a0e73804572b52fb757a0e7f6a97commit | diff
- added Tactics module as a common point where tactics could be accessed
helm/ocaml/tactics/.depend diff | blob | history
helm/ocaml/tactics/Makefile diff | blob | history
helm/ocaml/tactics/primitiveTactics.ml diff | blob | history
helm/ocaml/tactics/primitiveTactics.mli diff | blob | history
helm/ocaml/tactics/tactics.ml [new file with mode: 0644] blob
helm/ocaml/tactics/tactics.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.