]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6073f0b) | patch
Strange fix (for a yelp bug?)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 8 Feb 2006 16:40:25 +0000 (16:40 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 8 Feb 2006 16:40:25 +0000 (16:40 +0000)
commita3e2307340205d6a9651d90a5342cfdd232138dd
tree76d81ee010a6772158604e3e779808dc18e6fffftree | snapshot
parent6073f0bd6760d393f229d1b61a91bf9b64af2f09commit | diff
Strange fix (for a yelp bug?)
helm/software/matita/help/C/sec_tactics.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.