]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/summary.html
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / searchEngine / html / summary.html
diff --git a/helm/searchEngine/html/summary.html b/helm/searchEngine/html/summary.html
deleted file mode 100644 (file)
index 8284f0d..0000000
+++ /dev/null
@@ -1,23 +0,0 @@
-<HTML>
-<HEAD>
-<SCRIPT language="Javascript">
-function armageddon()
-       {
-       top.ltr=top.query;
-       top.stadd=document.win.parqu.value;
-       top.aggq();
-       }
-function fill()
-       {
-       document.win.parqu.value=top.query;
-       }
-</SCRIPT>
-</HEAD>
-<BODY>
-<FORM NAME="win">
-<TEXTAREA ROWS=20 COLS=58 NAME="parqu" onMouseOver=fill()>
-</TEXTAREA><BR>
-<INPUT type="button" value="modifica" onClick=armageddon()>
-</FORM>
-</BODY>
-</HTML>