[r2004-12-28 01:01:28 by afrisch] Demo

Original author: afrisch
Date: 2004-12-28 01:03:52+00:00

driver/evaluator.ml

@@ -54,5 +54,7 @@ let () =
   let res = try exec prog with Timeout -> "Timeout reached !" in
   let res = cut 80 res in
   print_string header;
-  print_endline res
-  
+  print_endline "<pre>";
+  print_endline res;
+  print_endline "</pre>"
+

web/demo.xml

@@ -8,6 +8,7 @@
 <xhtml>
 <input type="submit" value="Evaluate" onclick="submit('a');"/>
 <input type="button" value="Clear" onclick="clearreq('a');"/>
+<br/>
 <textarea id="areq" cols="80" rows="25">
 let x = 1;;
 </textarea>
@@ -17,6 +18,7 @@ let x = 1;;
 <right>
 <xhtml>
 <input type="button" value="Clear" onclick="show_result('a','');"/>
+<br/>
 <div id="ares"></div>
 <script src="demo.js" type="text/javascript"/>
 </xhtml>