# HG changeset patch
# User wenzelm
# Date 1185566119 -7200
# Node ID 85bb54571031b2b14c65a3bed503c8aba99864a5
# Parent  63ff2445ce1ef0db3a31521f912f2a9c19e86aed
renamed Config to ConfigOption;

diff -r 63ff2445ce1e -r 85bb54571031 src/Pure/Isar/isar_cmd.ML
--- a/src/Pure/Isar/isar_cmd.ML	Fri Jul 27 21:55:18 2007 +0200
+++ b/src/Pure/Isar/isar_cmd.ML	Fri Jul 27 21:55:19 2007 +0200
@@ -438,7 +438,7 @@
     ProofContext.print_lthms (Toplevel.context_of state));
 
 val print_options = Toplevel.unknown_context o Toplevel.keep (fn state =>
-  Config.print_configs (Toplevel.context_of state));
+  ConfigOption.print_options (Toplevel.context_of state));
 
 val print_theorems_proof = Toplevel.keep (fn state =>
   ProofContext.setmp_verbose