]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8df744f) | patch
Metadata DTD changed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 31 Oct 2002 13:18:36 +0000 (13:18 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 31 Oct 2002 13:18:36 +0000 (13:18 +0000)
commit21dfe40afed7b951e6b7c51a44e1c19432af3a42
treeab180f1945adb9937c90ea73fdca9290ec91e589tree | snapshot
parent8df744ff7b8295b14a1bf369baf0711fbf11f516commit | diff
Metadata DTD changed.
helm/style/mk_meta_and_dep_graph.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.