diff -r c1def7433a72 -r 07a32140ce0d src/Pure/System/main.scala --- a/src/Pure/System/main.scala Thu Jul 05 15:40:57 2012 +0200 +++ b/src/Pure/System/main.scala Thu Jul 05 16:03:09 2012 +0200 @@ -25,7 +25,7 @@ Library.dialog(null, "Isabelle", "Isabelle output", Library.scrollable_text(out + "\nReturn code: " + rc)) - System.exit(rc) + sys.exit(rc) } }