]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d0582b9) | patch
added object attributes
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 7 Jun 2005 17:20:33 +0000 (17:20 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 7 Jun 2005 17:20:33 +0000 (17:20 +0000)
commitcb379a463ec772df8855310fc9bf7276ea5f3f3d
tree3938f0c90fa5daba7b76f23077c7c3add1727c94tree | snapshot
parentd0582b9f0d2cf4770566da006019c657e23a3c85commit | diff
added object attributes
helm/dtd/cic.dtd diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.