equal
deleted
inserted
replaced
253 (defconst isar-keywords-control |
253 (defconst isar-keywords-control |
254 '("Isabelle\\.command" |
254 '("Isabelle\\.command" |
255 "ProofGeneral\\.inform_file_processed" |
255 "ProofGeneral\\.inform_file_processed" |
256 "ProofGeneral\\.inform_file_retracted" |
256 "ProofGeneral\\.inform_file_retracted" |
257 "ProofGeneral\\.kill_proof" |
257 "ProofGeneral\\.kill_proof" |
|
258 "ProofGeneral\\.pr" |
258 "ProofGeneral\\.process_pgip" |
259 "ProofGeneral\\.process_pgip" |
259 "ProofGeneral\\.restart" |
260 "ProofGeneral\\.restart" |
260 "ProofGeneral\\.undo" |
261 "ProofGeneral\\.undo" |
261 "cannot_undo" |
262 "cannot_undo" |
262 "cd" |
263 "cd" |
277 "use_thy")) |
278 "use_thy")) |
278 |
279 |
279 (defconst isar-keywords-diag |
280 (defconst isar-keywords-diag |
280 '("ML_command" |
281 '("ML_command" |
281 "ML_val" |
282 "ML_val" |
282 "ProofGeneral\\.pr" |
|
283 "class_deps" |
283 "class_deps" |
284 "display_drafts" |
284 "display_drafts" |
285 "find_consts" |
285 "find_consts" |
286 "find_theorems" |
286 "find_theorems" |
287 "full_prf" |
287 "full_prf" |