Matitaweb:

[helm.git] / matitaB / matita / index.html
diff --git a/matitaB/matita/index.html b/matitaB/matita/index.html

index 80f49ece416a748bc209e770b5cd0296259f9141..067189d7382f1418ee04a1031b39b6f11660e1b5 100644 (file)
--- a/matitaB/matita/index.html
+++ b/matitaB/matita/index.html
@@ -1,6 +1,7 @@
  <html>
  
  <head>
+<script type="text/javascript" src="jquery.js"></script>
  <script type="text/javascript" src="utf8MacroTable.js"></script>
  <script type="text/javascript" src="matitaweb.js"></script>
  <script type="text/javascript" src="layout.js"></script>
@@ -55,6 +56,7 @@
             <INPUT type="BUTTON" value="Commit" id="commitbutton" ONCLICK="commitAll()">
             <INPUT type="BUTTON" value="Update" id="updatebutton" ONCLICK="updateAll()">
             <INPUT type="BUTTON" value="Log" id="logbutton" ONCLICK="showLog()">
+           <INPUT type="BUTTON" value="Del hrefs" id="delintbutton" ONCLICK="strip_interpr()">
  <!--      <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()"> -->
@@ -110,5 +112,11 @@
    <INPUT type="button" id="uploadSelect" value="OK" ONCLICK="uploadOK()" style="width:70px">
  </div>
  
+<!-- Mask to cover the whole screen --> 
+  <div id="mask"></div> 
+  
+<!-- Mask to cover the toolbar --> 
+  <div id="whitemask"></div> 
+
   </body>
  </html>