changeset 62490 | 39d01eaf5292 |
parent 62312 | 5e5a881ebc12 |
child 62848 | e4140efe699e |
--- a/src/Pure/Pure.thy Tue Mar 01 17:26:53 2016 +0100 +++ b/src/Pure/Pure.thy Tue Mar 01 19:42:59 2016 +0100 @@ -107,7 +107,7 @@ ML_file "Tools/find_theorems.ML" ML_file "Tools/find_consts.ML" ML_file "Tools/simplifier_trace.ML" -ML_file "Tools/debugger.ML" +ML_file_no_debug "Tools/debugger.ML" ML_file "Tools/named_theorems.ML" ML_file "Tools/jedit.ML"