X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fon-line%2Fxslt%2Fls2html.xsl;h=9302e5841b62a09b62d17013f4800e12a25386b2;hb=b4a7a577a04c56a68b6d79d06fdb925ff0bbd331;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..9302e5841 100644
--- a/helm/on-line/xslt/ls2html.xsl
+++ b/helm/on-line/xslt/ls2html.xsl
@@ -114,6 +114,7 @@
+
text.gif
@@ -140,16 +141,32 @@
-
+
+
+
+
+
+
+
+ >
+
+ Statement
+ Definition
+
+
- Proof term
+
+
+
+ Body
+ >Proof tree