]> matita.cs.unibo.it Git - helm.git/commit
cadet, isterix changed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 17 Nov 2000 11:53:57 +0000 (11:53 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 17 Nov 2000 11:53:57 +0000 (11:53 +0000)
commit18f615b11bd95a43625afdf5b3d347e6b24710c2
treed1b649e4ecea64c20408c2238ba8ccb23667baf5
parent0af27540c1be9d6979bd1722cba7841daee945a7
cadet, isterix changed
helm/xsltd/cadet
helm/xsltd/isterix