From 5935b9017657c74534f235dd4ec29cad723a53c1 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 4 Nov 2002 16:05:53 +0000 Subject: [PATCH] Quick fix to view metadata theories again. The case were we are interested also in bodies is not handled correctly yet. --- helm/style/objtheorycontent.xsl | 24 ++++++++++++------------ 1 file changed, 12 insertions(+), 12 deletions(-) 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 @@ - - + + - + - + + + - - - + - + - +

- +

-- 2.39.2