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.
suppress completion of obscure keyword;
authorwenzelm
Fri, 04 Jul 2014 15:46:13 +0200
changeset 57506 f5dbec155914
parent 57505 63e2163c4736
child 57507 a609065c9e15
suppress completion of obscure keyword;
src/Pure/Pure.thy file | annotate | diff | comparison | revisions 
--- a/src/Pure/Pure.thy	Fri Jul 04 14:58:52 2014 +0200
+++ b/src/Pure/Pure.thy	Fri Jul 04 15:46:13 2014 +0200
@@ -24,7 +24,8 @@
   and "subsect" :: prf_heading3 % "proof"
   and "subsubsect" :: prf_heading4 % "proof"
   and "txt" "txt_raw" :: prf_decl % "proof"
-  and "default_sort" "typedecl" "type_synonym" "nonterminal" "judgment"
+  and "default_sort" :: thy_decl == ""
+  and "typedecl" "type_synonym" "nonterminal" "judgment"
     "consts" "syntax" "no_syntax" "translations" "no_translations" "defs"
     "definition" "abbreviation" "type_notation" "no_type_notation" "notation"
     "no_notation" "axiomatization" "theorems" "lemmas" "declare"
isabelle