sorry: proper command;

--- a/src/Pure/Isar/isar_syn.ML	Fri Oct 19 23:21:08 2007 +0200
+++ b/src/Pure/Isar/isar_syn.ML	Fri Oct 19 23:21:11 2007 +0200
@@ -641,7 +641,7 @@
     (Scan.succeed (Toplevel.print3 o IsarCmd.done_proof));
 
 val _ =
-  OuterSyntax.improper_command "sorry" "skip proof (quick-and-dirty mode only!)"
+  OuterSyntax.command "sorry" "skip proof (quick-and-dirty mode only!)"
     (K.tag_proof K.qed)
     (Scan.succeed (Toplevel.print3 o IsarCmd.skip_proof));