# HG changeset patch
# User wenzelm
# Date 1207770573 -7200
# Node ID 44cc22b19330c9b49c62343ddf8eb50f6867a63c
# Parent  74b3c93f2428402ac6625e61272434a45c677828
replaced ML by ML_val;

diff -r 74b3c93f2428 -r 44cc22b19330 lib/classes/isabelle/IsabelleProcess.java
--- a/lib/classes/isabelle/IsabelleProcess.java	Wed Apr 09 20:47:17 2008 +0200
+++ b/lib/classes/isabelle/IsabelleProcess.java	Wed Apr 09 21:49:33 2008 +0200
@@ -323,7 +323,7 @@
      */
     public synchronized void ML(String text) throws IsabelleProcessException
     {
-        outputSync("ML " + encodeString(text));
+        outputSync("ML_val " + encodeString(text));
     }
 
     /**
@@ -331,7 +331,7 @@
      */
     public synchronized void ML(Properties props, String text) throws IsabelleProcessException
     {
-        command(props, "ML " + encodeString(text));
+        command(props, "ML_val " + encodeString(text));
     }