From: Claudio Sacerdoti Coen Date: Mon, 20 May 2002 09:18:52 +0000 (+0000) Subject: Explicit substitutions for metavariables introduced and DTD changed. X-Git-Tag: V_0_3_0_debian_8~100 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ddce32beebecf9d965e6ad991a08368f52cd9ea1;p=helm.git Explicit substitutions for metavariables introduced and DTD changed. --- diff --git a/helm/style/content.xsl b/helm/style/content.xsl index ef9c297a6..af5e185af 100644 --- a/helm/style/content.xsl +++ b/helm/style/content.xsl @@ -168,9 +168,27 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../] - - ? + + meta + + + + ? + + + + + + + + + + _ + + + + diff --git a/helm/style/content_to_html.xsl b/helm/style/content_to_html.xsl index 5ffa0742a..2570adc73 100644 --- a/helm/style/content_to_html.xsl +++ b/helm/style/content_to_html.xsl @@ -2120,8 +2120,45 @@ CONJECTURES: - : - + + + + + + + + + _ + + + : + + + + + + + + + + + + + _ + + + := + + + + + + + _ :? _ + + + |- : + diff --git a/helm/style/mmlextension.xsl b/helm/style/mmlextension.xsl index 6e766e352..7aeec143f 100644 --- a/helm/style/mmlextension.xsl +++ b/helm/style/mmlextension.xsl @@ -183,9 +183,52 @@ which generates the toplevel element (see for instance xlink) --> __ + + + + + + + + + + _ + + + : + + + + + + + + + + + _ + + + := + + + + + + _ + :? + _ + + + + + ; + + + |- ? - : - + : + @@ -372,7 +415,11 @@ which generates the toplevel element (see for instance xlink) --> solid + + ? + : + _ @@ -470,6 +517,15 @@ which generates the toplevel element (see for instance xlink) --> + + + + + + + + + diff --git a/helm/style/objcontent.xsl b/helm/style/objcontent.xsl index 898e41a98..5b375084b 100644 --- a/helm/style/objcontent.xsl +++ b/helm/style/objcontent.xsl @@ -55,8 +55,8 @@ - - + + @@ -115,7 +115,12 @@ - + + + + + + diff --git a/helm/style/rootcontent.xsl b/helm/style/rootcontent.xsl index 64acead36..a2f82f59b 100644 --- a/helm/style/rootcontent.xsl +++ b/helm/style/rootcontent.xsl @@ -56,7 +56,12 @@ + + +