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 81260 ff60c3b565da
parent 81238 a8502d492dde
child 81743 fac2045e61d5 
--- a/src/Pure/Isar/attrib.ML	Fri Oct 25 15:39:27 2024 +0200
+++ b/src/Pure/Isar/attrib.ML	Fri Oct 25 15:48:40 2024 +0200
@@ -612,7 +612,6 @@
   register_config_bool Syntax.ambiguity_warning #>
   register_config_int Syntax.ambiguity_limit #>
   register_config_bool Syntax_Trans.eta_contract #>
-  register_config_bool Syntax_Phases.const_syntax_legacy #>
   register_config_bool Name_Space.names_long #>
   register_config_bool Name_Space.names_short #>
   register_config_bool Name_Space.names_unique #>
isabelle