]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 700e872) | patch
notation "@" for append added
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 12 Dec 2002 18:43:45 +0000 (18:43 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 12 Dec 2002 18:43:45 +0000 (18:43 +0000)
commit00d069b17dfd24d3b421f4cb54d639437450bbaa
tree9b5a0dc8fd85747d654eb3cb65635b85fc351181tree | snapshot
parent700e8726d8b97f923ed7e02f1146a9787bde2333commit | diff
notation "@" for append added
helm/style/mmlextension.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.