changeset 56629 | ca302c495bca |
parent 56618 | 874bdedb2313 |
child 56867 | 224109105008 |
--- a/src/Pure/Isar/isar_syn.ML Tue Apr 22 11:53:05 2014 +0200 +++ b/src/Pure/Isar/isar_syn.ML Tue Apr 22 12:03:58 2014 +0200 @@ -1021,7 +1021,7 @@ (Parse.opt_unit >> K (Toplevel.imperative Secure.commit)); val _ = - Outer_Syntax.improper_command @{command_spec "quit"} "quit Isabelle" + Outer_Syntax.improper_command @{command_spec "quit"} "quit Isabelle process" (Parse.opt_unit >> (K (Toplevel.imperative quit))); val _ =