equal
deleted
inserted
replaced
49 { |
49 { |
50 Output.writeln(msg, stdout = !stderr) |
50 Output.writeln(msg, stdout = !stderr) |
51 } |
51 } |
52 |
52 |
53 override def theory(session: String, theory: String): Unit = |
53 override def theory(session: String, theory: String): Unit = |
54 if (verbose) echo(session + ": theory " + theory) |
54 if (verbose) { |
|
55 if (session == "") echo("theory " + theory) |
|
56 else echo(session + ": theory " + theory) |
|
57 } |
55 |
58 |
56 @volatile private var is_stopped = false |
59 @volatile private var is_stopped = false |
57 override def interrupt_handler[A](e: => A): A = |
60 override def interrupt_handler[A](e: => A): A = |
58 POSIX_Interrupt.handler { is_stopped = true } { e } |
61 POSIX_Interrupt.handler { is_stopped = true } { e } |
59 override def stopped: Boolean = |
62 override def stopped: Boolean = |