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" |
343 "undos_proof")) |
344 "undos_proof")) |
344 |
345 |
345 (defconst isar-keywords-diag |
346 (defconst isar-keywords-diag |
346 '("ML_command" |
347 '("ML_command" |
347 "ML_val" |
348 "ML_val" |
|
349 "ProofGeneral\\.pr" |
348 "atp_info" |
350 "atp_info" |
349 "atp_kill" |
351 "atp_kill" |
350 "atp_messages" |
352 "atp_messages" |
351 "atp_minimize" |
353 "atp_minimize" |
352 "boogie_status" |
354 "boogie_status" |