]> matita.cs.unibo.it Git - helm.git/commit
characters in symbol font unified in size
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 4 Apr 2001 09:47:02 +0000 (09:47 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 4 Apr 2001 09:47:02 +0000 (09:47 +0000)
commitfffff12ad86e979d3a86c43b56ba234d8afa5c2a
treec3d7284ec0e58795d7dae360d124fb363de3b3f0
parente8c7d0435c1f0de182d341f6e6f8e0d7412eefac
characters in symbol font unified in size
helm/style/content_to_html.xsl
helm/style/html_init.xsl
helm/style/html_set.xsl