]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/panel/control.html
ocaml 3.09 transition
[helm.git] / helm / http_getter / panel / control.html
index 60c60ebedf441d0614c3617c0e046f6193959bd7..495c420e78d76382a443183c0427088c9acb2cf9 100644 (file)
@@ -69,6 +69,14 @@ If you have troubles, please send an email to the author:
       </form>
     </td>
   </tr>
+  <tr>
+    <td>
+      <form>
+        <b>Clean cache</b> (must be done every time a file is modified)<br />
+        <input type="button" value="Clean" onClick="top.result.location.replace(getGetterURL() + 'clean_cache')"/>
+      </form>
+    </td>
+  </tr>
   <tr>
     <td>
       <form>