--- a/src/Pure/Pure.thy Mon Jun 24 17:03:53 2013 +0200
+++ b/src/Pure/Pure.thy Mon Jun 24 17:17:17 2013 +0200
@@ -86,8 +86,8 @@
and "cd" :: control
and "pwd" :: diag
and "use_thy" "remove_thy" "kill_thy" :: control
- and "display_drafts" "print_drafts" "print_state" :: diag
- and "pr" "pretty_setmargin" "disable_pr" "enable_pr" "commit" "quit" "exit" :: control
+ and "display_drafts" "print_drafts" "print_state" "pr" :: diag
+ and "pretty_setmargin" "disable_pr" "enable_pr" "commit" "quit" "exit" :: control
and "welcome" :: diag
and "init_toplevel" "linear_undo" "undo" "undos_proof" "cannot_undo" "kill" :: control
and "end" :: thy_end % "theory"