]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/mat_con.html
New queries added:
[helm.git] / helm / searchEngine / html / mat_con.html
index 3f4d37e41c7a35751fb03a9d09a9b98736337116..5fab873567a34cad28de3aac8c954de1c14e9df5 100644 (file)
@@ -1,16 +1,10 @@
 <HTML>
 <HEAD>
 <SCRIPT language="Javascript">
-function checkint(grado)
-       {
-       if (isNaN(grado))
-               alert ("warning: you must enter a natural number in the grade box");
-       else if (Number(grado)<0|Number(grado)!=Math.floor(Number(grado))) alert ("warning: you must enter a natural number in the grade box");
-       }
 parent.mcq="[Alias list] [Expr]";
 parent.aggq();
 </SCRIPT>
 </HEAD>
 <BODY>
 </BODY>
-</HTML>
\ No newline at end of file
+</HTML>