equal
deleted
inserted
replaced
13 "Isar\\.command" |
13 "Isar\\.command" |
14 "Isar\\.insert" |
14 "Isar\\.insert" |
15 "Isar\\.remove" |
15 "Isar\\.remove" |
16 "ML" |
16 "ML" |
17 "ML_command" |
17 "ML_command" |
|
18 "ML_prf" |
18 "ML_val" |
19 "ML_val" |
19 "ProofGeneral\\.inform_file_processed" |
20 "ProofGeneral\\.inform_file_processed" |
20 "ProofGeneral\\.inform_file_retracted" |
21 "ProofGeneral\\.inform_file_retracted" |
21 "ProofGeneral\\.kill_proof" |
22 "ProofGeneral\\.kill_proof" |
22 "ProofGeneral\\.process_pgip" |
23 "ProofGeneral\\.process_pgip" |
457 "then" |
458 "then" |
458 "ultimately" |
459 "ultimately" |
459 "with")) |
460 "with")) |
460 |
461 |
461 (defconst isar-keywords-proof-decl |
462 (defconst isar-keywords-proof-decl |
462 '("also" |
463 '("ML_prf" |
|
464 "also" |
463 "let" |
465 "let" |
464 "moreover" |
466 "moreover" |
465 "note" |
467 "note" |
466 "txt" |
468 "txt" |
467 "txt_raw" |
469 "txt_raw" |