From: Irene Schena Date: Thu, 22 Mar 2001 12:40:20 +0000 (+0000) Subject: Modified Files: X-Git-Tag: v0_1_2~47 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=98bebe823e0b925f5b4bd3b0c70f1a966ae12758;p=helm.git 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 --- 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 @@ -

- - - - - - - - -