--- a/src/Pure/System/system_channel.scala Tue Aug 12 16:20:09 2014 +0200
+++ b/src/Pure/System/system_channel.scala Tue Aug 12 17:28:07 2014 +0200
@@ -22,7 +22,7 @@
abstract class System_Channel
{
def params: List[String]
- def isabelle_args: List[String]
+ def prover_args: List[String]
def rendezvous(): (OutputStream, InputStream)
def accepted(): Unit
}
@@ -60,7 +60,7 @@
def params: List[String] = List(fifo1, fifo2)
- val isabelle_args: List[String] = List ("-W", fifo1 + ":" + fifo2)
+ val prover_args: List[String] = List ("-W", fifo1 + ":" + fifo2)
def rendezvous(): (OutputStream, InputStream) =
{
@@ -81,7 +81,7 @@
def params: List[String] = List("127.0.0.1", server.getLocalPort.toString)
- def isabelle_args: List[String] = List("-T", "127.0.0.1:" + server.getLocalPort)
+ def prover_args: List[String] = List("-T", "127.0.0.1:" + server.getLocalPort)
def rendezvous(): (OutputStream, InputStream) =
{