X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fstyle%2Fcontent.xsl;h=e71ba3fe16d9a39dfb8528105d18713667170a7a;hb=0772a856cc336f4cbe362f3765b321dcbc129d64;hp=7d211d2f7e7c1758efb3d2d3a3d902db04bd76a2;hpb=fe7df3d309dc0876576773d7c32f91fbc7617d81;p=helm.git
diff --git a/helm/style/content.xsl b/helm/style/content.xsl
index 7d211d2f7..e71ba3fe1 100644
--- a/helm/style/content.xsl
+++ b/helm/style/content.xsl
@@ -37,7 +37,7 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
-http://localhost:8081/get?url=
+http://localhost:8081/getciconly?uri=
@@ -45,11 +45,7 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
-
-
-
+
@@ -67,10 +63,17 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
- prod
+
+
+ forall
+
+
+ prod
+
+
-
+
@@ -91,7 +94,7 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
-
+
@@ -105,17 +108,18 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
-
+
-
+
+
letin
-
+
let
-
+
@@ -139,26 +143,17 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
@@ -171,21 +166,21 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
-
+
-
+
-
+
-
+
@@ -193,7 +188,7 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
-
+
@@ -201,7 +196,7 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
-
+
@@ -219,14 +214,14 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
-
+
app
-
+
LAMBDA
@@ -241,7 +236,7 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
fix
-
+
@@ -250,7 +245,7 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
cofix
-
+
@@ -259,7 +254,7 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
-
+
@@ -267,10 +262,15 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
-
+
+
+
+
+
+