X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fstart.html;h=57e85c7e7994ad0d4868dfef7e5e155e531e72fa;hb=33c7572776d0e2c502293f32ad6a01e6f8cf1e74;hp=3984ddd5d6a5b2ed7298206e1fb0d8a7b84da154;hpb=02a075a57f4e40ff34b7ae1351ab77c32d0d427b;p=helm.git
diff --git a/helm/searchEngine/html/start.html b/helm/searchEngine/html/start.html
index 3984ddd5d..57e85c7e7 100644
--- a/helm/searchEngine/html/start.html
+++ b/helm/searchEngine/html/start.html
@@ -4,10 +4,12 @@
+Are you lost? Consult the on-line manual
+
-
+
-
+