From ce56bfc29034be5add28ef28007f2598d9030ad2 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 8 May 2001 11:20:26 +0000 Subject: [PATCH] Many improvements in theory-rendering. In particular, now param.type may be 'standalone' or 'typeonly' or 'embed'. (It was 0 or 1 before) Modified Files: content_to_html.xsl expandobj.xsl links_library.xsl mmlextension.xsl objtheorycontent.xsl theory_content.xsl theory_pres.xsl --- helm/style/content_to_html.xsl | 14 +++++++++- helm/style/expandobj.xsl | 11 ++++---- helm/style/links_library.xsl | 2 +- helm/style/mmlextension.xsl | 16 ++++++++--- helm/style/objtheorycontent.xsl | 30 ++++++++++----------- helm/style/theory_content.xsl | 5 ++-- helm/style/theory_pres.xsl | 48 ++++++++++++++++++++++----------- 7 files changed, 82 insertions(+), 44 deletions(-) diff --git a/helm/style/content_to_html.xsl b/helm/style/content_to_html.xsl index 9708f3cd7..ecc63d53a 100644 --- a/helm/style/content_to_html.xsl +++ b/helm/style/content_to_html.xsl @@ -33,6 +33,7 @@ + @@ -60,7 +61,9 @@ - + + + <xsl:value-of select="$CICURI"/> @@ -72,6 +75,15 @@ + + + + + + + + + diff --git a/helm/style/expandobj.xsl b/helm/style/expandobj.xsl index 5a7b74ea2..2171846e3 100644 --- a/helm/style/expandobj.xsl +++ b/helm/style/expandobj.xsl @@ -49,17 +49,15 @@ - + - - + @@ -70,7 +68,8 @@ - + + @@ -82,4 +81,4 @@ - \ No newline at end of file + diff --git a/helm/style/links_library.xsl b/helm/style/links_library.xsl index f216db609..18db37a0c 100644 --- a/helm/style/links_library.xsl +++ b/helm/style/links_library.xsl @@ -261,7 +261,7 @@ - + diff --git a/helm/style/mmlextension.xsl b/helm/style/mmlextension.xsl index 5a9a391d3..a4dfc5f01 100644 --- a/helm/style/mmlextension.xsl +++ b/helm/style/mmlextension.xsl @@ -62,11 +62,19 @@ which generates the toplevel element (see for instance xlink) --> + + - - + + + + + + + + + + diff --git a/helm/style/objtheorycontent.xsl b/helm/style/objtheorycontent.xsl index 826115002..bc0292ff7 100644 --- a/helm/style/objtheorycontent.xsl +++ b/helm/style/objtheorycontent.xsl @@ -33,7 +33,7 @@ xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:helm="http://www.cs.unibo.it/helm"> - + getxml?uri= @@ -44,25 +44,25 @@ - - - - - - - - + + + + + + + + + + + + + - + - - - - - diff --git a/helm/style/theory_content.xsl b/helm/style/theory_content.xsl index 507370edb..838324c08 100644 --- a/helm/style/theory_content.xsl +++ b/helm/style/theory_content.xsl @@ -62,7 +62,8 @@ - + + @@ -78,4 +79,4 @@ - \ No newline at end of file + diff --git a/helm/style/theory_pres.xsl b/helm/style/theory_pres.xsl index 6456301a6..027e3f6b1 100644 --- a/helm/style/theory_pres.xsl +++ b/helm/style/theory_pres.xsl @@ -42,9 +42,7 @@ doctype-system="DTD/xhtml1-transitional.dtd" /> -

BEGIN SECTION 

-

END SECTION

 @@ -54,19 +52,46 @@ -
 
- + + + + + + + + +
+  : +
   
 -
 
- + + + + + + + + +
+  : +
   
 Inductive DefinitionCoInductive DefinitionRecord DefinitionDefinition -
 
- + + + + + + + + +
+  : +
   
 @@ -79,10 +104,3 @@ - - - - - - - -- 2.39.2