From 98bebe823e0b925f5b4bd3b0c70f1a966ae12758 Mon Sep 17 00:00:00 2001 From: Irene Schena Date: Thu, 22 Mar 2001 12:40:20 +0000 Subject: [PATCH] Modified Files: 1) mmlextension.xsl: added import of mmltheoryextension.xsl 2) objcontent.xsl: added *[1] to apply-templates Added Files: 1) mmltheoryextension.xsl: MML presentation of objects in theories --- helm/style/mmlextension.xsl | 1 + helm/style/mmltheoryextension.xsl | 42 +++++++++++++++++++++++++++++++ helm/style/objcontent.xsl | 20 ++++++--------- helm/style/theory_pres.xsl | 13 ++-------- 4 files changed, 52 insertions(+), 24 deletions(-) create mode 100644 helm/style/mmltheoryextension.xsl diff --git a/helm/style/mmlextension.xsl b/helm/style/mmlextension.xsl index 6e66736a3..67859db65 100644 --- a/helm/style/mmlextension.xsl +++ b/helm/style/mmlextension.xsl @@ -37,6 +37,7 @@ xmlns:helm="http://www.cs.unibo.it/helm"> + diff --git a/helm/style/mmltheoryextension.xsl b/helm/style/mmltheoryextension.xsl new file mode 100644 index 000000000..d173c795d --- /dev/null +++ b/helm/style/mmltheoryextension.xsl @@ -0,0 +1,42 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/helm/style/objcontent.xsl b/helm/style/objcontent.xsl index b9f77cb82..9b9825051 100644 --- a/helm/style/objcontent.xsl +++ b/helm/style/objcontent.xsl @@ -74,10 +74,10 @@ --> - + - + @@ -90,7 +90,7 @@ - + @@ -103,10 +103,10 @@ - + - + @@ -148,19 +148,13 @@ - + - + - - - - - - diff --git a/helm/style/theory_pres.xsl b/helm/style/theory_pres.xsl index aa23acbe0..e2745fd06 100644 --- a/helm/style/theory_pres.xsl +++ b/helm/style/theory_pres.xsl @@ -59,22 +59,13 @@ -

 

+

 

-

 

+

 

- - - - - - - - - -- 2.39.2