From: Claudio Sacerdoti Coen Date: Mon, 4 Nov 2002 16:05:53 +0000 (+0000) Subject: Quick fix to view metadata theories again. The case were we are interested X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5935b9017657c74534f235dd4ec29cad723a53c1;p=helm.git Quick fix to view metadata theories again. The case were we are interested also in bodies is not handled correctly yet. --- diff --git a/helm/style/objtheorycontent.xsl b/helm/style/objtheorycontent.xsl index a4937460a..5bad7e108 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"> - + @@ -43,42 +43,42 @@ - - + + - + - + + + - - - + - + - +

- +