X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fstyle%2Fcontent.xsl;h=e60a85051453d42bcc491199c66231210ffe0776;hb=1c88d7da901c53b47c8a320e639c797665e737a8;hp=95a1f66b23a0d8bbb8a912f3f97e79d9b958c5d3;hpb=0b1e5fb100fe57fb53f98038570b1fae191d331d;p=helm.git
diff --git a/helm/style/content.xsl b/helm/style/content.xsl
index 95a1f66b2..e60a85051 100644
--- a/helm/style/content.xsl
+++ b/helm/style/content.xsl
@@ -168,9 +168,27 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
-
-
+
+ meta
+
+
+
+ ?
+
+
+
+
+
+
+
+
+
+ _
+
+
+
+
@@ -212,32 +230,31 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
-
-
-
-
-
- LAMBDA
-
-
-
-
-
-
-
-
-
- app
-
-
-
- LAMBDA
-
-
-
-
-
-
+
+
+
+
+
+ LAMBDA
+
+
+
+
+
+
+
+
+ app
+
+
+
+ LAMBDA
+
+
+
+
+
+