]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7ff85e5) | patch
"Rewrite ... with ... by ..." line-breaking handled.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 10 Dec 2002 18:49:15 +0000 (18:49 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 10 Dec 2002 18:49:15 +0000 (18:49 +0000)
commit5c85cc18dfa4133e5e0a50eaecd938aae60acb49
tree17ef936e7824a6ef88000d47d245fd8b8daa599etree | snapshot
parent7ff85e55518d06d96b9abbea4aa68d83e6be35b0commit | diff
"Rewrite ... with ... by ..." line-breaking handled.
helm/style/mmlextension.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.