<A href="javascript:gotoBottom()"><IMG src="icons/bottom.png"
id="bottom" alt="Bottom" title="Execute the whole script."></A>
<INPUT type="TEXT" id="filename" value=""><INPUT type="BUTTON" value="Open" ONCLICK="openFile()"></p>
- <INPUT type="BUTTON" value="show sequent" id="showseq" ONCLICK="showSequent()">
+<!-- <INPUT type="BUTTON" value="show sequent" id="showseq" ONCLICK="showSequent()">
<INPUT type="BUTTON" value="hide sequent" id="hideseq" ONCLICK="hideSequent()">
- <INPUT type="BUTTON" value="selection test" id="hideseq" ONCLICK="test()">
+ <INPUT type="BUTTON" value="selection test" id="hideseq" ONCLICK="test()"> -->
</td>
<td style="width:33%; text-align:center;"><img src="icons/matita-text.png"></td>