]> matita.cs.unibo.it Git - helm.git/commit
fonts for lambda prod and forall enlarged
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 4 Apr 2001 10:27:44 +0000 (10:27 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 4 Apr 2001 10:27:44 +0000 (10:27 +0000)
commit8594a189d62bb4056fdba59a8ed042d9c45f1051
treef97b3d9f0ffeb5b469585edf0ac9d6d74d3ee2ad
parentfffff12ad86e979d3a86c43b56ba234d8afa5c2a
fonts for lambda prod and forall enlarged
helm/style/content_to_html.xsl