]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 68a48cd) | patch
removed overkilling info for our manual
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 10 Jun 2006 16:24:03 +0000 (16:24 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 10 Jun 2006 16:24:03 +0000 (16:24 +0000)
commitbdace32e5a6d981b418d076df176c5c79d856029
tree4292f254c6ca88f57934293282c8d502507e8916tree | snapshot
parent68a48cdf1ef091660a6cbd8293e6cc8fa21435f0commit | diff
removed overkilling info for our manual
matita/help/C/matita.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.