src/Pure/System/isabelle_process.scala
changeset 38262 bb2df73fab2c
parent 38259 2b61c5e27399
child 38270 71bb3c273dd1
     1.1 --- a/src/Pure/System/isabelle_process.scala	Tue Aug 10 14:24:13 2010 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.scala	Tue Aug 10 15:12:45 2010 +0200
     1.3 @@ -342,15 +342,6 @@
     1.4      command_input ! Input(" \\<^sync>\n; " + text + " \\<^sync>;\n")
     1.5    }
     1.6  
     1.7 -  def command(text: String) = input("Isabelle.command " + Isabelle_Syntax.encode_string(text))
     1.8 -
     1.9 -  def command(props: List[(String, String)], text: String) =
    1.10 -    input("Isabelle.command " + Isabelle_Syntax.encode_properties(props) + " " +
    1.11 -      Isabelle_Syntax.encode_string(text))
    1.12 -
    1.13 -  def ML_val(text: String) = input("ML_val " + Isabelle_Syntax.encode_string(text))
    1.14 -  def ML_command(text: String) = input("ML_command " + Isabelle_Syntax.encode_string(text))
    1.15 -
    1.16    def close() = synchronized {    // FIXME avoid synchronized
    1.17      command_input ! Close
    1.18      closing = true