X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fcontent.xsl;h=5aafef63f6bfb347b801b74fd3d35dbe2acb0916;hb=fb158d51c621e55962a6139d03cd1678cfb2e8f1;hp=6f2226bbf7c6f04cd93fa94e03d0c636cda33c41;hpb=c539f832ce69f7488e79e80d78c2c5003674dc50;p=helm.git
diff --git a/helm/style/content.xsl b/helm/style/content.xsl
index 6f2226bbf..5aafef63f 100644
--- a/helm/style/content.xsl
+++ b/helm/style/content.xsl
@@ -139,63 +139,12 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
-
-
-
-
-
-
- letin
-
-
-
-
- let
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
app
-
-
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-