]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ccb56bd) | patch
bugfix: avoid executing tactic for the script twice
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 10 Feb 2005 15:44:20 +0000 (15:44 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 10 Feb 2005 15:44:20 +0000 (15:44 +0000)
commit88685adce112ba14de5051e1d40f0b203dfc2922
treecd453c792502c9e081cca299033d9535eaf144edtree | snapshot
parentccb56bd6ddeec70a1fb32304aec60a0721d260cccommit | diff
bugfix: avoid executing tactic for the script twice
helm/matita/matita.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.