]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/start.html
Branch V7_3_new_exportation merged.
[helm.git] / helm / searchEngine / html / start.html
diff --git a/helm/searchEngine/html/start.html b/helm/searchEngine/html/start.html
new file mode 100644 (file)
index 0000000..c5a6ef7
--- /dev/null
@@ -0,0 +1,15 @@
+<HTML>
+<HEAD>
+<SCRIPT language="Javascript">
+</SCRIPT>
+</HEAD>
+<BODY>
+Are you lost? Consult the <a href="http://helm.cs.unibo.it/searchEngine/manual/index.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+'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+'almost_blank.html';top.initialize();"> 
+</center>
+</BODY>
+</HTML>