X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fxslt%2Fls2html.xsl;h=0d551db35fe4cb04490eaf8677b5d057ce8a9e51;hb=b38de2d3fa8bbe346c59c18bbeb889f29e493f63;hp=f0376baa5aa5a313157b0bfd8a906a6078fce3a0;hpb=b7f3585155ebfa63e2be82c837c6e61fc8340c3a;p=helm.git
diff --git a/helm/on-line/xslt/ls2html.xsl b/helm/on-line/xslt/ls2html.xsl
index f0376baa5..0d551db35 100644
--- a/helm/on-line/xslt/ls2html.xsl
+++ b/helm/on-line/xslt/ls2html.xsl
@@ -114,6 +114,7 @@
+
text.gif
@@ -140,16 +141,35 @@
+
+
+
+
+
+
+
+ >
+
+ Statement
+ Definition
+
+
Body
+ >Proof term
+
+
+
+ Proof tree