
diff -r 2f970c7f722b -r 179236c82c2a src/Pure/Pure.thy
--- a/src/Pure/Pure.thy	Fri May 17 20:41:45 2013 +0200
+++ b/src/Pure/Pure.thy	Fri May 17 20:53:28 2013 +0200
@@ -74,7 +74,7 @@
   and "finally" "ultimately" :: prf_chain % "proof"
   and "back" :: prf_script % "proof"
   and "Isabelle.command" :: control
-  and "help" "print_commands" "print_configs"
+  and "help" "print_commands" "print_options"
     "print_context" "print_theory" "print_syntax" "print_abbrevs" "print_defn_rules"
     "print_theorems" "print_locales" "print_classes" "print_locale"
     "print_interps" "print_dependencies" "print_attributes"




