]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 02bf539) | patch
fixed tactic ids to include a "tac_" prefix
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 6 Feb 2006 17:16:40 +0000 (17:16 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 6 Feb 2006 17:16:40 +0000 (17:16 +0000)
commit878037dde08fc4e335219631e511ff22e0af2151
tree6345af7e911b952ac7a3cdf2935c154314c5d4e7tree | snapshot
parent02bf53992de07d18bcd494bcb83d27a794bd6c85commit | diff
fixed tactic ids to include a "tac_" prefix
matita/help/C/matita.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.