From: Irene Schena Date: Thu, 26 Jul 2001 11:52:34 +0000 (+0000) Subject: ---------------------------------------------------------------------- X-Git-Tag: v0_1_3~99 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=19681f7b0c71fbb8c9e3442c0880533731094046;p=helm.git ---------------------------------------------------------------------- Modified Files: 1) content_to_html.xsl html_init.xsl html_reals.xsl html_set.xsl: added control on the existence of definitionURL ---------------------------------------------------------------------- --- diff --git a/helm/style/content_to_html.xsl b/helm/style/content_to_html.xsl index fdf9b7829..1211e4881 100644 --- a/helm/style/content_to_html.xsl +++ b/helm/style/content_to_html.xsl @@ -248,6 +248,7 @@ + @@ -416,13 +417,24 @@ [ - - - - - - - + + + + + + + + + + + + + + + + + + ] @@ -431,13 +443,24 @@ - - - - - - - + + + + + + + + + + + + + + + + + + @@ -447,13 +470,24 @@ - - - - - - - + + + + + + + + + + + + + + + + + + @@ -465,87 +499,175 @@ - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - * - - + + + + + + + + + + + + + + + * + + + + + + + + + + + + + + + + * + + + - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - * - - + + + + + + + + + + + + + + + * + + + + + + + + + + + + + + + + * + + + - | + + + | + + + | + + - | + + + | + + + | + + @@ -553,13 +675,24 @@ - - - - - - - + + + + + + + + + + + + + + + + + + @@ -601,6 +734,7 @@ + @@ -1329,13 +1463,24 @@ [ - - - - - - - + + + + + + + + + + + + + + + + + + ] @@ -1344,13 +1489,24 @@ - - - - - - - + + + + + + + + + + + + + + + + + + @@ -1360,13 +1516,24 @@ - - - - - - - + + + + + + + + + + + + + + + + + + @@ -1378,87 +1545,175 @@ - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - * - - + + + + + + + + + + + + + + + * + + + + + + + + + + + + + + + + * + + + - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - * - - + + + + + + + + + + + + + + + * + + + + + + + + + + + + + + + + * + + + - | + + + | + + + | + + - | + + + | + + + | + + @@ -1466,13 +1721,24 @@ - - - - - - - + + + + + + + + + + + + + + + + + + diff --git a/helm/style/html_init.xsl b/helm/style/html_init.xsl index a6a840a57..06e23deca 100644 --- a/helm/style/html_init.xsl +++ b/helm/style/html_init.xsl @@ -145,16 +145,23 @@ - - - + ( - + + + + + + + + + - + - + + ) @@ -162,26 +169,42 @@ - - - + - + + + + + + + + + - + - + + ( - + + + + + + + + + - + - + + ) @@ -190,29 +213,43 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + - + + : @@ -228,9 +265,7 @@ |m:geq|m:gt|m:plus|m:times]"> - - - + @@ -244,11 +279,20 @@ - - - - - + + + + + + + + + + + + + + @@ -265,16 +309,23 @@ - - - + - - - - - + + + + + + + + + + + + + + @@ -293,11 +344,20 @@ - - - - - + + + + + + + + + + + + + + @@ -313,18 +373,25 @@ - + - - - - - - - - - + + + + + + + + + + + + + + + + @@ -332,19 +399,26 @@ - - - + - - - - - + + + + + + + + + + + + + + : diff --git a/helm/style/html_reals.xsl b/helm/style/html_reals.xsl index 32c817927..15071579a 100644 --- a/helm/style/html_reals.xsl +++ b/helm/style/html_reals.xsl @@ -76,12 +76,17 @@ - - - - + + + + + lim + + + lim - + + @@ -95,17 +100,27 @@ - - - - + + + + + d + / + + d + + + + + d - / - - d - - - + / + + d + + + + @@ -155,9 +170,7 @@ - - - + @@ -168,9 +181,16 @@ - + + + + + + + - + + { , @@ -186,17 +206,22 @@ - - - + - + + + + lim + + + lim - + + @@ -222,17 +247,27 @@ - - - - - d - / - - d - - - + + + + + d + / + + d + + + + + + d + / + + d + + + + @@ -301,9 +336,7 @@ - - - + @@ -319,9 +352,16 @@ - + + + + + + + - + + { diff --git a/helm/style/html_set.xsl b/helm/style/html_set.xsl index e8f82e7b2..900329f79 100644 --- a/helm/style/html_set.xsl +++ b/helm/style/html_set.xsl @@ -163,9 +163,7 @@ - - - + @@ -193,13 +191,24 @@ ( - - - - - - - + + + + + + + + + + + + + + + + + + ) @@ -210,9 +219,7 @@ |m:subset|m:prsubset|m:setdiff]"> - - - + @@ -251,13 +258,24 @@ - - - - - - - + + + + + + + + + + + + + + + + + +