]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 42a2bac) | patch
no longer requires old diagrams
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 26 Jan 2006 17:08:40 +0000 (17:08 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 26 Jan 2006 17:08:40 +0000 (17:08 +0000)
commitf7a0f0c8e5bf52d3bfa946d32c42a0224fc9f789
treecb8c6caa137a4d7621a92e3edebaa0750fbde4cetree | snapshot
parent42a2bac4bd882669570d1dc5d7831b6ed17a5ea7commit | diff
no longer requires old diagrams
helm/papers/matita/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.