equal
deleted
inserted
replaced
7 ;; |
7 ;; |
8 |
8 |
9 (defconst isar-keywords-major |
9 (defconst isar-keywords-major |
10 '("\\." |
10 '("\\." |
11 "\\.\\." |
11 "\\.\\." |
|
12 "Isabelle\\.command" |
12 "ML" |
13 "ML" |
13 "ML_command" |
14 "ML_command" |
14 "ML_setup" |
15 "ML_setup" |
15 "ProofGeneral\\.inform_file_processed" |
16 "ProofGeneral\\.inform_file_processed" |
16 "ProofGeneral\\.inform_file_retracted" |
17 "ProofGeneral\\.inform_file_retracted" |
244 "unchecked" |
245 "unchecked" |
245 "uses" |
246 "uses" |
246 "where")) |
247 "where")) |
247 |
248 |
248 (defconst isar-keywords-control |
249 (defconst isar-keywords-control |
249 '("ProofGeneral\\.inform_file_processed" |
250 '("Isabelle\\.command" |
|
251 "ProofGeneral\\.inform_file_processed" |
250 "ProofGeneral\\.inform_file_retracted" |
252 "ProofGeneral\\.inform_file_retracted" |
251 "ProofGeneral\\.kill_proof" |
253 "ProofGeneral\\.kill_proof" |
252 "ProofGeneral\\.process_pgip" |
254 "ProofGeneral\\.process_pgip" |
253 "ProofGeneral\\.restart" |
255 "ProofGeneral\\.restart" |
254 "ProofGeneral\\.undo" |
256 "ProofGeneral\\.undo" |