equal
deleted
inserted
replaced
359 (defconst isar-keywords-control |
359 (defconst isar-keywords-control |
360 '("Isabelle\\.command" |
360 '("Isabelle\\.command" |
361 "ProofGeneral\\.inform_file_processed" |
361 "ProofGeneral\\.inform_file_processed" |
362 "ProofGeneral\\.inform_file_retracted" |
362 "ProofGeneral\\.inform_file_retracted" |
363 "ProofGeneral\\.kill_proof" |
363 "ProofGeneral\\.kill_proof" |
|
364 "ProofGeneral\\.pr" |
364 "ProofGeneral\\.process_pgip" |
365 "ProofGeneral\\.process_pgip" |
365 "ProofGeneral\\.restart" |
366 "ProofGeneral\\.restart" |
366 "ProofGeneral\\.undo" |
367 "ProofGeneral\\.undo" |
367 "cannot_undo" |
368 "cannot_undo" |
368 "cd" |
369 "cd" |
383 "use_thy")) |
384 "use_thy")) |
384 |
385 |
385 (defconst isar-keywords-diag |
386 (defconst isar-keywords-diag |
386 '("ML_command" |
387 '("ML_command" |
387 "ML_val" |
388 "ML_val" |
388 "ProofGeneral\\.pr" |
|
389 "boogie_status" |
389 "boogie_status" |
390 "class_deps" |
390 "class_deps" |
391 "code_deps" |
391 "code_deps" |
392 "code_thms" |
392 "code_thms" |
393 "display_drafts" |
393 "display_drafts" |