X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Findex.html;fp=matitaB%2Fmatita%2Findex.html;h=3f294e908fbfcc627d788782afbf6fdb70206768;hb=b31bcf160467c7a1d585b1546e85c80a1cd40b73;hp=28e0ef68a304ca30b3360e04bbfb40d90234925a;hpb=43c8894e56290dae4bfb93c0361bc396664e1b1f;p=helm.git

diff --git a/matitaB/matita/index.html b/matitaB/matita/index.html
index 28e0ef68a..3f294e908 100644
--- a/matitaB/matita/index.html
+++ b/matitaB/matita/index.html
@@ -66,6 +66,7 @@
   <div class="diaTitle" id="dialogTitle"></div>
   <div class="scroll" id="dialogContent"></div>
   <INPUT class="diaFile" type="text" id="dialogFilename">
+  <INPUT type="button" id="dialogSelect" value="OK" ONCLICK="dialogSelect()">
 </div>
  </body>
  </html>