]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e271d6d) | patch
Sequent rendering improved: "=======" replaced by a single solid line
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 8 Apr 2002 12:37:18 +0000 (12:37 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 8 Apr 2002 12:37:18 +0000 (12:37 +0000)
commit564808f227d45537df5061e05d81fcc70cb06f9d
treee7e65b3de076e21a7595aef41250b0354d623bbetree | snapshot
parente271d6d3bf82d56b6a72717759b5319dcf7c67f8commit | diff
Sequent rendering improved: "=======" replaced by a single solid line
helm/style/mmlextension.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.