]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/almost_blank.html
NEW: manual added and linked to the interface.
[helm.git] / helm / searchEngine / html / almost_blank.html
index d5eef25184898b015756d61adb4ba69398c3cf68..05204a549c8ccc8571d7c35cf532ebe2f09e3229 100644 (file)
@@ -1,5 +1,5 @@
 <HTML>
 <body bgcolor="#ffffff";>
-Are you lost? Consult the <a href="http://helm.cs.unibo.it/searchEngine/manual.html" target="_blank">on-line manual</a>
+Are you lost? Consult the <a href="http://helm.cs.unibo.it/searchEngine/manual/index.html" target="_blank">on-line manual</a>
 </body>
 </HTML>