]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/pdq.html
New: the user can now refine the proposed constraints once that they are
[helm.git] / helm / searchEngine / html / pdq.html
index 6ab4aa94bb66a5d79d5fa122b4181ba70c633e95..b4f5fe6c78be89b0df8ed5e694461019d2ddd3ea 100644 (file)
@@ -69,7 +69,7 @@ function aggq()
        }
 </SCRIPT>
 </HEAD>
-<script>
+<SCRIPT>
   document.write(' <frameset rows="24%,76%" border="0" noresize> <frame name=tw src="'+top.topurl+top.action+'query_choice.html";> <frame name=bw src="'+top.topurl+top.action+'blank.html";> </frameset> ');
-</script>
+</SCRIPT>
 </HTML>