renamed "trace_me{son,tis}" and "verbose_metis" to have the name of the tool first
authorblanchet
Fri Nov 26 22:36:24 2010 +0100 (2010-11-26)
changeset 40724d01a1b3ab23d
parent 40723 a82badd0e6ef
child 40725 02b3fab953c9
renamed "trace_me{son,tis}" and "verbose_metis" to have the name of the tool first
src/HOL/Tools/Meson/meson.ML
src/HOL/Tools/Metis/metis_reconstruct.ML
     1.1 --- a/src/HOL/Tools/Meson/meson.ML	Fri Nov 26 22:22:07 2010 +0100
     1.2 +++ b/src/HOL/Tools/Meson/meson.ML	Fri Nov 26 22:36:24 2010 +0100
     1.3 @@ -46,7 +46,7 @@
     1.4  structure Meson : MESON =
     1.5  struct
     1.6  
     1.7 -val (trace, trace_setup) = Attrib.config_bool "trace_meson" (K false)
     1.8 +val (trace, trace_setup) = Attrib.config_bool "meson_trace" (K false)
     1.9  
    1.10  fun trace_msg ctxt msg = if Config.get ctxt trace then tracing (msg ()) else ()
    1.11  
     2.1 --- a/src/HOL/Tools/Metis/metis_reconstruct.ML	Fri Nov 26 22:22:07 2010 +0100
     2.2 +++ b/src/HOL/Tools/Metis/metis_reconstruct.ML	Fri Nov 26 22:36:24 2010 +0100
     2.3 @@ -31,8 +31,8 @@
     2.4  
     2.5  open Metis_Translate
     2.6  
     2.7 -val (trace, trace_setup) = Attrib.config_bool "trace_metis" (K false)
     2.8 -val (verbose, verbose_setup) = Attrib.config_bool "verbose_metis" (K true)
     2.9 +val (trace, trace_setup) = Attrib.config_bool "metis_trace" (K false)
    2.10 +val (verbose, verbose_setup) = Attrib.config_bool "metis_verbose" (K true)
    2.11  
    2.12  fun trace_msg ctxt msg = if Config.get ctxt trace then tracing (msg ()) else ()
    2.13  fun verbose_warning ctxt msg =