]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c1839f8) | patch
UNICODEvsSYMBOL parameter added to select the old
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 20 Jun 2001 10:34:44 +0000 (10:34 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 20 Jun 2001 10:34:44 +0000 (10:34 +0000)
commitc62bd86699593741dae2221e8c0699296738d1c2
treeb665ab85ecd4318b88fc7508a8e2bad19b0a36b5tree | snapshot
parentc1839f8c8e0562fee90a1e385fa9d6d8ad5e499fcommit | diff
UNICODEvsSYMBOL parameter added to select the old
 <FONT FACE="symbol".../> way of getting mathematical symbol
 vs simply using UNICODE entities.

Only a very small percentage of stylesheets (notably part of
content_to_html.xsl and all of html_set.xsl) has been modified to
take into account the new variable.
helm/style/content_to_html.xsl diff | blob | history
helm/style/html_set.xsl diff | blob | history
helm/style/links_library.xsl diff | blob | history
helm/style/proofs.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.