tuned;
authorwenzelm
Mon Sep 20 23:28:35 2010 +0200 (2010-09-20 ago)
changeset 39575c77b9374f45c
parent 39574 91b23d141dbf
child 39576 48baf61cb888
tuned;
src/Pure/System/isabelle_process.scala
     1.1 --- a/src/Pure/System/isabelle_process.scala	Mon Sep 20 21:54:58 2010 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.scala	Mon Sep 20 23:28:35 2010 +0200
     1.3 @@ -198,7 +198,7 @@
     1.4    def interrupt()
     1.5    {
     1.6      pid match {
     1.7 -      case None => system_result("Cannot interrupt Isabelle: unknowd pid")
     1.8 +      case None => system_result("Cannot interrupt Isabelle: unknown pid")
     1.9        case Some(i) =>
    1.10          try {
    1.11            if (system.execute(true, "kill", "-INT", i).waitFor == 0)