Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified name;
authorwenzelm
Fri, 25 Sep 2020 11:24:28 +0200
changeset 72293 584aea0b29bb
parent 72292 4a58c38b85ff
child 72294 25c6423ec538
clarified name;
src/HOL/Library/code_test.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/code_test.ML	Fri Sep 25 05:26:09 2020 +0000
+++ b/src/HOL/Library/code_test.ML	Fri Sep 25 11:24:28 2020 +0200
@@ -141,7 +141,7 @@
 
 (* driver invocation *)
 
-val debug = Attrib.setup_config_bool \<^binding>\<open>code_test_debug\<close> (K false)
+val debug = Attrib.setup_config_bool \<^binding>\<open>test_code_debug\<close> (K false)
 
 fun with_debug_dir name f =
   let
isabelle