equal
deleted
inserted
replaced
16 "Isar\\.insert" |
16 "Isar\\.insert" |
17 "Isar\\.remove" |
17 "Isar\\.remove" |
18 "ML" |
18 "ML" |
19 "ML_command" |
19 "ML_command" |
20 "ML_prf" |
20 "ML_prf" |
|
21 "ML_test" |
21 "ML_val" |
22 "ML_val" |
22 "ProofGeneral\\.inform_file_processed" |
23 "ProofGeneral\\.inform_file_processed" |
23 "ProofGeneral\\.inform_file_retracted" |
24 "ProofGeneral\\.inform_file_retracted" |
24 "ProofGeneral\\.kill_proof" |
25 "ProofGeneral\\.kill_proof" |
25 "ProofGeneral\\.process_pgip" |
26 "ProofGeneral\\.process_pgip" |
417 "subsection" |
418 "subsection" |
418 "subsubsection")) |
419 "subsubsection")) |
419 |
420 |
420 (defconst isar-keywords-theory-decl |
421 (defconst isar-keywords-theory-decl |
421 '("ML" |
422 '("ML" |
|
423 "ML_test" |
422 "abbreviation" |
424 "abbreviation" |
423 "arities" |
425 "arities" |
424 "atom_decl" |
426 "atom_decl" |
425 "attribute_setup" |
427 "attribute_setup" |
426 "automaton" |
428 "automaton" |