]> matita.cs.unibo.it Git - helm.git/blob - helm/searchEngine/html/summary.html
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / searchEngine / html / summary.html
1 <HTML>
2 <HEAD>
3 <SCRIPT language="Javascript">
4 function armageddon()
5         {
6         top.ltr=top.query;
7         top.stadd=document.win.parqu.value;
8         top.aggq();
9         }
10 function fill()
11         {
12         document.win.parqu.value=top.query;
13         }
14 </SCRIPT>
15 </HEAD>
16 <BODY>
17 <FORM NAME="win">
18 <TEXTAREA ROWS=20 COLS=58 NAME="parqu" onMouseOver=fill()>
19 </TEXTAREA><BR>
20 <INPUT type="button" value="modifica" onClick=armageddon()>
21 </FORM>
22 </BODY>
23 </HTML>