# 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