Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/System/isabelle_process.scala
changeset 32448 a89f876731c5
parent 31797 203d5e61e3bc
child 32474 0818e6b1c8a6 
--- a/src/Pure/System/isabelle_process.scala	Fri Aug 28 21:44:48 2009 +0200
+++ b/src/Pure/System/isabelle_process.scala	Sat Aug 29 10:50:04 2009 +0200
@@ -204,14 +204,14 @@
 
 
   def command(text: String) =
-    output_sync("Isabelle.command " + IsabelleSyntax.encode_string(text))
+    output_sync("Isabelle.command " + Isabelle_Syntax.encode_string(text))
 
   def command(props: List[(String, String)], text: String) =
-    output_sync("Isabelle.command " + IsabelleSyntax.encode_properties(props) + " " +
-      IsabelleSyntax.encode_string(text))
+    output_sync("Isabelle.command " + Isabelle_Syntax.encode_properties(props) + " " +
+      Isabelle_Syntax.encode_string(text))
 
   def ML(text: String) =
-    output_sync("ML_val " + IsabelleSyntax.encode_string(text))
+    output_sync("ML_val " + Isabelle_Syntax.encode_string(text))
 
   def close() = synchronized {    // FIXME watchdog/timeout
     output_raw("\u0000")
isabelle