clean

doc-config/resources/demo.html

@@ -51,8 +51,6 @@
     <div id="main">
       <script type="text/javascript" src="uiml_demo.bc.js"></script>
       <p>Enter a formula below and choose a logic and interpolant to compute.</p>
-
-
       <input style="font-size:1em; font-family:'Courier New', Courier, monospace; padding: .2em;" type="text" id="input_formula" size="40" value="r <-> ((p -> q) | ((p -> q) -> q))" />
       <select style="font-size:1em;  padding: .2em;" id="function_select">
         <option value="iE">IL: E(p)</option>
@@ -156,4 +154,4 @@
 </body>
 
 
-</html>
+</html>