X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fxslt%2Ftoplevel_header.xsl;h=88650a5a73066ccd0912ee0cfe4e97d77b8a0224;hb=019d5023aefd04aff9ac0849405306612d54ba64;hp=a22213a2edc4b2c44200c54a543c5d48abd80d01;hpb=d8b76c102e4f540c3ecfa550267331a7a72810c2;p=helm.git
diff --git a/helm/on-line/xslt/toplevel_header.xsl b/helm/on-line/xslt/toplevel_header.xsl
index a22213a2e..88650a5a7 100644
--- a/helm/on-line/xslt/toplevel_header.xsl
+++ b/helm/on-line/xslt/toplevel_header.xsl
@@ -5,6 +5,8 @@
xmlns:helm="http://www.cs.unibo.it/helm"
xmlns:html="http://www.w3.org/1999/xhtml">
+
+
@@ -24,7 +26,18 @@
-
+
+
+
+
+
+
+
+
+
+
+
+
@@ -32,10 +45,14 @@
-
-
-
-
+
+
+
+
+
+
+
@@ -46,17 +63,24 @@
select="substring($CICURI, string-length($prefix)+3)" />
-
-
-
+
+
+
+
+
+
- theory:/
-
- cic:/
-
-
+
+
+
+ [search]
+
+
+
+
-
+
+