]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b276e71) | patch
xref and href added to m:ci containing presentation markup
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 4 Dec 2000 18:41:32 +0000 (18:41 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 4 Dec 2000 18:41:32 +0000 (18:41 +0000)
commit74a3955496a8df761d1c08f9c731dbcad03f00f7
treeadc7706cf935532b25a81f9f03d41f8e8f876baatree | snapshot
parentb276e71d04d5bc981b710b2ba793ccf157c256d7commit | diff
xref and href added to m:ci containing presentation markup
helm/style/mml2mmlv1_0.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.