Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Isar/attrib.ML
changeset 68558 7aae213d9e69
parent 68540 000a0e062529
child 68816 5a53724fe247 
--- a/src/Pure/Isar/attrib.ML	Sun Jul 01 12:37:24 2018 +0200
+++ b/src/Pure/Isar/attrib.ML	Sun Jul 01 12:38:37 2018 +0200
@@ -591,7 +591,6 @@
   register_config ML_Options.exception_trace_raw #>
   register_config ML_Options.exception_debugger_raw #>
   register_config ML_Options.debugger_raw #>
-  register_config Global_Theory.pending_shyps_raw #>
   register_config Proof_Context.show_abbrevs_raw #>
   register_config Goal_Display.goals_limit_raw #>
   register_config Goal_Display.show_main_goal_raw #>
isabelle