From: Claudio Sacerdoti Coen Date: Wed, 20 Jun 2001 10:34:44 +0000 (+0000) Subject: UNICODEvsSYMBOL parameter added to select the old X-Git-Tag: v0_1_3~147 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c62bd86699593741dae2221e8c0699296738d1c2;p=helm.git UNICODEvsSYMBOL parameter added to select the old 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. --- diff --git a/helm/style/content_to_html.xsl b/helm/style/content_to_html.xsl index 5a48cc1ea..4b51eb320 100644 --- a/helm/style/content_to_html.xsl +++ b/helm/style/content_to_html.xsl @@ -34,6 +34,7 @@ + @@ -60,6 +61,56 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -152,7 +203,11 @@ - " + + + + + : @@ -160,7 +215,11 @@ - Õ + + + + + : @@ -171,9 +230,11 @@ ( - - ® - + + + + + ) @@ -434,7 +495,11 @@ - l + + + + + : @@ -463,7 +528,11 @@ - " + + + + + : @@ -488,7 +557,11 @@ - Õ + + + + + : @@ -521,9 +594,11 @@ - - ® - + + + + + @@ -1354,7 +1429,11 @@ - l + + + + + : diff --git a/helm/style/html_set.xsl b/helm/style/html_set.xsl index 224c76088..73338c48f 100644 --- a/helm/style/html_set.xsl +++ b/helm/style/html_set.xsl @@ -32,6 +32,76 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -44,7 +114,9 @@ --> - Æ + + + @@ -122,9 +194,11 @@ ( - - - + + + + + ) @@ -178,9 +252,11 @@ - - - + + + + + @@ -204,7 +280,9 @@ --> - Æ + + + diff --git a/helm/style/links_library.xsl b/helm/style/links_library.xsl index 1457169fd..a12807df2 100644 --- a/helm/style/links_library.xsl +++ b/helm/style/links_library.xsl @@ -48,6 +48,7 @@ + @@ -194,7 +195,7 @@ ?url= ?url= apply?keys= -&param.naturalLanguage=&param.annotations=&prop.doctype-public=&param.doctype-public=&param.encoding=&param.media-type=&param.keys=&param.getterURL=&param.processorURL=&param.interfaceURL=&xmluri= +&param.naturalLanguage=&param.UNICODEvsSYMBOL=&param.annotations=&prop.doctype-public=&param.doctype-public=&param.encoding=&param.media-type=&param.keys=&param.getterURL=&param.processorURL=&param.interfaceURL=&xmluri= &prop.media-type=&prop.encoding= &prop.media-type=&param.thmedia-type=&param.thkeys=&param.embedkeys=&param.thinterfaceURL=&param.thencoding=&prop.encoding= diff --git a/helm/style/proofs.xsl b/helm/style/proofs.xsl index 05cf06dd1..a0302bde6 100644 --- a/helm/style/proofs.xsl +++ b/helm/style/proofs.xsl @@ -560,6 +560,8 @@ + +