Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Mon, 20 Sep 2010 23:28:35 +0200
changeset 39575 c77b9374f45c
parent 39574 91b23d141dbf
child 39576 48baf61cb888
tuned;
src/Pure/System/isabelle_process.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/isabelle_process.scala	Mon Sep 20 21:54:58 2010 +0200
+++ b/src/Pure/System/isabelle_process.scala	Mon Sep 20 23:28:35 2010 +0200
@@ -198,7 +198,7 @@
   def interrupt()
   {
     pid match {
-      case None => system_result("Cannot interrupt Isabelle: unknowd pid")
+      case None => system_result("Cannot interrupt Isabelle: unknown pid")
       case Some(i) =>
         try {
           if (system.execute(true, "kill", "-INT", i).waitFor == 0)
isabelle