]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c62bd86) | patch
Small bugs fixed:
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 20 Jun 2001 12:09:37 +0000 (12:09 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 20 Jun 2001 12:09:37 +0000 (12:09 +0000)
commit78f0e9834348f091eebe7904a97e9db0ec63825a
tree4a57849a9423d23226b7aa0faf3683fb8ae3d8b9tree | snapshot
parentc62bd86699593741dae2221e8c0699296738d1c2commit | diff
Small bugs fixed:

 mathcolor ==> color in <FONT>
 arrow size set equal to "+0"
helm/style/content_to_html.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.