etc/isar-keywords.el
changeset 15703 727ef1b8b3ee
parent 15624 484178635bd8
child 15762 13d1ec61bc89
equal deleted inserted replaced
15702:2677db44c795 15703:727ef1b8b3ee
     5 ;; $Id$
     5 ;; $Id$
     6 ;;
     6 ;;
     7 
     7 
     8 (defconst isar-keywords-major
     8 (defconst isar-keywords-major
     9   '("\\."
     9   '("\\."
    10     "\\.\\."
       
    11     "ML"
    10     "ML"
    12     "ML_command"
    11     "ML_command"
    13     "ML_setup"
    12     "ML_setup"
    14     "ProofGeneral\\.context_thy_only"
    13     "ProofGeneral\\.context_thy_only"
    15     "ProofGeneral\\.inform_file_processed"
    14     "ProofGeneral\\.inform_file_processed"
    17     "ProofGeneral\\.kill_proof"
    16     "ProofGeneral\\.kill_proof"
    18     "ProofGeneral\\.process_pgip"
    17     "ProofGeneral\\.process_pgip"
    19     "ProofGeneral\\.restart"
    18     "ProofGeneral\\.restart"
    20     "ProofGeneral\\.try_context_thy_only"
    19     "ProofGeneral\\.try_context_thy_only"
    21     "ProofGeneral\\.undo"
    20     "ProofGeneral\\.undo"
       
    21     "\\.\\."
    22     "also"
    22     "also"
    23     "apply"
    23     "apply"
    24     "apply_end"
    24     "apply_end"
    25     "arities"
    25     "arities"
    26     "assume"
    26     "assume"
    88     "local"
    88     "local"
    89     "locale"
    89     "locale"
    90     "method_setup"
    90     "method_setup"
    91     "moreover"
    91     "moreover"
    92     "next"
    92     "next"
       
    93     "no_syntax"
    93     "nonterminals"
    94     "nonterminals"
    94     "note"
    95     "note"
    95     "obtain"
    96     "obtain"
    96     "oops"
    97     "oops"
    97     "oracle"
    98     "oracle"
   360     "judgment"
   361     "judgment"
   361     "lemmas"
   362     "lemmas"
   362     "local"
   363     "local"
   363     "locale"
   364     "locale"
   364     "method_setup"
   365     "method_setup"
       
   366     "no_syntax"
   365     "nonterminals"
   367     "nonterminals"
   366     "oracle"
   368     "oracle"
   367     "parse_ast_translation"
   369     "parse_ast_translation"
   368     "parse_translation"
   370     "parse_translation"
   369     "primrec"
   371     "primrec"