equal
deleted
inserted
replaced
17 "ML_prf" |
17 "ML_prf" |
18 "ML_val" |
18 "ML_val" |
19 "ProofGeneral\\.inform_file_processed" |
19 "ProofGeneral\\.inform_file_processed" |
20 "ProofGeneral\\.inform_file_retracted" |
20 "ProofGeneral\\.inform_file_retracted" |
21 "ProofGeneral\\.kill_proof" |
21 "ProofGeneral\\.kill_proof" |
|
22 "ProofGeneral\\.pr" |
22 "ProofGeneral\\.process_pgip" |
23 "ProofGeneral\\.process_pgip" |
23 "ProofGeneral\\.restart" |
24 "ProofGeneral\\.restart" |
24 "ProofGeneral\\.undo" |
25 "ProofGeneral\\.undo" |
25 "abbreviation" |
26 "abbreviation" |
26 "also" |
27 "also" |
269 "undos_proof")) |
270 "undos_proof")) |
270 |
271 |
271 (defconst isar-keywords-diag |
272 (defconst isar-keywords-diag |
272 '("ML_command" |
273 '("ML_command" |
273 "ML_val" |
274 "ML_val" |
|
275 "ProofGeneral\\.pr" |
274 "cd" |
276 "cd" |
275 "class_deps" |
277 "class_deps" |
276 "commit" |
278 "commit" |
277 "disable_pr" |
279 "disable_pr" |
278 "display_drafts" |
280 "display_drafts" |