]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 02a075a)
Added an hyperlink to the on-line manual.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 18 Mar 2003 16:19:52 +0000 (16:19 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 18 Mar 2003 16:19:52 +0000 (16:19 +0000)
helm/searchEngine/html/almost_blank.html [new file with mode: 0644] patch | blob
helm/searchEngine/html/blank.html patch | blob | history
helm/searchEngine/html/start.html patch | blob | history

diff --git a/helm/searchEngine/html/almost_blank.html b/helm/searchEngine/html/almost_blank.html
new file mode 100644 (file)
index 0000000..d5eef25
--- /dev/null
+++ b/helm/searchEngine/html/almost_blank.html
@@ -0,0 +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>
+</body>
+</HTML>
diff --git a/helm/searchEngine/html/blank.html b/helm/searchEngine/html/blank.html
index 903e3169b76b0b040d8c2e9fc3b1c93e0306daba..3334d0b61f029f6e529912edba56f7771a46ca1c 100644 (file)
--- a/helm/searchEngine/html/blank.html
+++ b/helm/searchEngine/html/blank.html
@@ -1,4 +1,4 @@
 <HTML>
 <body bgcolor="#ffffff";>
 </body>
-</HTML>
\ No newline at end of file
+</HTML>
diff --git a/helm/searchEngine/html/start.html b/helm/searchEngine/html/start.html
index 3984ddd5d6a5b2ed7298206e1fb0d8a7b84da154..57e85c7e7994ad0d4868dfef7e5e155e531e72fa 100644 (file)
--- a/helm/searchEngine/html/start.html
+++ b/helm/searchEngine/html/start.html
@@ -4,10 +4,12 @@
 </SCRIPT>
 </HEAD>
 <BODY>
+Are you lost? Consult the <a href="http://helm.cs.unibo.it/searchEngine/manual.html" target="_blank">on-line manual</a>
+<br><br>
 <center>
-  <input type=button value="Compose a query" onClick="top.cw.location=top.topurl+top.action+'set.html';top.gw.location=top.topurl+top.action+'grammar.html#set';top.sw.location=top.topurl+top.action+'editor.html';top.qw.location=top.topurl+top.action+'blank.html';top.initialize();">
+  <input type=button value="Compose a query" onClick="top.cw.location=top.topurl+top.action+'set.html';top.gw.location=top.topurl+top.action+'grammar.html#set';top.sw.location=top.topurl+top.action+'editor.html';top.qw.location=top.topurl+top.action+'almost_blank.html';top.initialize();">
 <br><br>
-<input type=button value="Submit a pre-defined query" onClick="top.cw.location=top.topurl+top.action+'pdq.html';top.gw.location=top.topurl+top.action+'blank.html';top.sw.location=top.topurl+top.action+'blank.html';top.qw.location=top.topurl+top.action+'blank.html';top.initialize();"> 
+<input type=button value="Submit a pre-defined query" onClick="top.cw.location=top.topurl+top.action+'pdq.html';top.gw.location=top.topurl+top.action+'blank.html';top.sw.location=top.topurl+top.action+'blank.html';top.qw.location=top.topurl+top.action+'almost_blank.html';top.initialize();"> 
 </center>
 </BODY>
 </HTML>
Unnamed repository; edit this file 'description' to name the repository.