]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5dfb26a) | patch
added some items
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 8 Jul 2005 09:46:23 +0000 (09:46 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 8 Jul 2005 09:46:23 +0000 (09:46 +0000)
commit338e32925dda5fec7f37ea9ded94cb0ee2e2816b
tree0e92f1ee00420daf3545390e79d12dcecd1123f6tree | snapshot
parent5dfb26aafe7d8a91afead91cc82e035c61c00cabcommit | diff
added some items
helm/matita/matita.txt diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.