]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/menu.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / menu.xml
index afb54c8df70838e05e2cdd59ba9f29c0fe166fff..60431f45eb813494be660883a61ae549ad32dfc3 100644 (file)
       </table>
     </td>
   </tr>
-  
   </table>
   </td></tr>
   </table>
 
+  <div class="center">
+    <div class="small">
+      <mowgli:change-frame-settings/>
+    </div>
+  </div>
+
   </body>
 
 </html>