src/Pure/PIDE/protocol.scala
changeset 56616 abc2da18d08d
parent 56495 0b9334adcf05
child 56743 81370dfadb1d
     1.1 --- a/src/Pure/PIDE/protocol.scala	Thu Apr 17 12:03:15 2014 +0200
     1.2 +++ b/src/Pure/PIDE/protocol.scala	Thu Apr 17 13:21:36 2014 +0200
     1.3 @@ -428,4 +428,10 @@
     1.4  
     1.5    def dialog_result(serial: Long, result: String): Unit =
     1.6      protocol_command("Document.dialog_result", Properties.Value.Long(serial), result)
     1.7 +
     1.8 +
     1.9 +  /* use_theories */
    1.10 +
    1.11 +  def use_theories(id: String, master_dir: Path, thys: List[Path]): Unit =
    1.12 +    protocol_command("use_theories", (id :: master_dir.implode :: thys.map(_.implode)): _*)
    1.13  }