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.
proper attribute;
authorwenzelm
Fri, 17 Jul 2015 16:03:11 +0200
changeset 60743 37d624a8b128
parent 60741 6349a28af772
child 60744 4eba53a0ac3d
proper attribute;
src/Pure/Isar/attrib.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/attrib.ML	Thu Jul 16 18:36:16 2015 +0200
+++ b/src/Pure/Isar/attrib.ML	Fri Jul 17 16:03:11 2015 +0200
@@ -527,6 +527,7 @@
   register_config Name_Space.names_unique_raw #>
   register_config ML_Options.source_trace_raw #>
   register_config ML_Options.exception_trace_raw #>
+  register_config ML_Options.debugger_raw #>
   register_config ML_Options.print_depth_raw #>
   register_config Proof_Context.show_abbrevs_raw #>
   register_config Goal_Display.goals_limit_raw #>
isabelle