equal
deleted
inserted
replaced
11 "\\.\\." |
11 "\\.\\." |
12 "Isabelle\\.command" |
12 "Isabelle\\.command" |
13 "ML" |
13 "ML" |
14 "ML_command" |
14 "ML_command" |
15 "ML_setup" |
15 "ML_setup" |
|
16 "ML_val" |
16 "ProofGeneral\\.inform_file_processed" |
17 "ProofGeneral\\.inform_file_processed" |
17 "ProofGeneral\\.inform_file_retracted" |
18 "ProofGeneral\\.inform_file_retracted" |
18 "ProofGeneral\\.kill_proof" |
19 "ProofGeneral\\.kill_proof" |
19 "ProofGeneral\\.process_pgip" |
20 "ProofGeneral\\.process_pgip" |
20 "ProofGeneral\\.restart" |
21 "ProofGeneral\\.restart" |
325 "undos_proof")) |
326 "undos_proof")) |
326 |
327 |
327 (defconst isar-keywords-diag |
328 (defconst isar-keywords-diag |
328 '("ML" |
329 '("ML" |
329 "ML_command" |
330 "ML_command" |
|
331 "ML_val" |
330 "cd" |
332 "cd" |
331 "class_deps" |
333 "class_deps" |
332 "code_deps" |
334 "code_deps" |
333 "code_thms" |
335 "code_thms" |
334 "commit" |
336 "commit" |