]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/editorpdq.html
New: the user can now refine the proposed constraints once that they are
[helm.git] / helm / searchEngine / html / editorpdq.html
index 3370ed1348c90a0e17432120409506d21ba384cf..21e803906077a8244a0f342428dbb85c1cd24fad 100644 (file)
@@ -76,7 +76,7 @@ function editaalias()
 <BODY>
 <form name="invio" action="Javascript:invia();">
 <select name="aliaslist" size=1>
-<script language=Javascript> listalias(); </script>
+<SCRIPT language=Javascript> listalias(); </script>
 </select> Your list of alias.
 <input type=button value="edit" onMouseOver="top.help(-9)" onClick="editaalias()";>
 </br>
@@ -85,6 +85,6 @@ function editaalias()
 <input type=button value="Restart" onMouseOver="top.help(-5)" onClick="armageddon()"></input>
 <input type=button value="New expression" onMouseOver="top.help(-7)" onClick="nuovapdqsa()"></input>
 </form>
-<script language=Javascript>document.invio.expression.value=unescape(top.terminecic); </script>
+<SCRIPT language=Javascript>document.invio.expression.value=unescape(top.terminecic); </script>
 </BODY>
 </HTML>