]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 90903c3) | patch
New tactics (badly) documented.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 8 Feb 2006 17:43:11 +0000 (17:43 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 8 Feb 2006 17:43:11 +0000 (17:43 +0000)
commit224c374eb4460b577aa3e89cf65d42563b6dace6
tree3dd2037bed983b72a3fbd63b244d1855721a8418tree | snapshot
parent90903c3a5f562b908190d746b36a4417e1e984bacommit | diff
New tactics (badly) documented.
helm/software/matita/help/C/sec_tactics.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.