]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 19429df) | patch
tacticChaser modified to avoid double "apply" and to avoid to apply uris ".var" in...
authorMatteo Selmi <matteo.selmi@mail.polimi.it>
Wed, 31 Mar 2004 20:21:56 +0000 (20:21 +0000)
committerMatteo Selmi <matteo.selmi@mail.polimi.it>
Wed, 31 Mar 2004 20:21:56 +0000 (20:21 +0000)
commit9b676d1df6d16c95e2b227c4ae0e353f6e2a308a
treefb376faca426092fde4f05a725bbcdbda190e653tree | snapshot
parent19429dfe8b29415d92918b35c2c2e1c60373b159commit | diff
tacticChaser modified to avoid double "apply" and to avoid to apply uris ".var" in tactic "auto".
helm/ocaml/tactics/tacticChaser.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.