equal
deleted
inserted
replaced
6 |
6 |
7 (defconst isar-keywords-major |
7 (defconst isar-keywords-major |
8 '("\\." |
8 '("\\." |
9 "\\.\\." |
9 "\\.\\." |
10 "Isabelle\\.command" |
10 "Isabelle\\.command" |
11 "Isar\\.begin_document" |
|
12 "Isar\\.define_command" |
11 "Isar\\.define_command" |
13 "Isar\\.edit_document" |
12 "Isar\\.edit_document" |
14 "Isar\\.end_document" |
|
15 "ML" |
13 "ML" |
16 "ML_command" |
14 "ML_command" |
17 "ML_prf" |
15 "ML_prf" |
18 "ML_val" |
16 "ML_val" |
19 "ProofGeneral\\.inform_file_processed" |
17 "ProofGeneral\\.inform_file_processed" |
320 "uses" |
318 "uses" |
321 "where")) |
319 "where")) |
322 |
320 |
323 (defconst isar-keywords-control |
321 (defconst isar-keywords-control |
324 '("Isabelle\\.command" |
322 '("Isabelle\\.command" |
325 "Isar\\.begin_document" |
|
326 "Isar\\.define_command" |
323 "Isar\\.define_command" |
327 "Isar\\.edit_document" |
324 "Isar\\.edit_document" |
328 "Isar\\.end_document" |
|
329 "ProofGeneral\\.inform_file_processed" |
325 "ProofGeneral\\.inform_file_processed" |
330 "ProofGeneral\\.inform_file_retracted" |
326 "ProofGeneral\\.inform_file_retracted" |
331 "ProofGeneral\\.kill_proof" |
327 "ProofGeneral\\.kill_proof" |
332 "ProofGeneral\\.process_pgip" |
328 "ProofGeneral\\.process_pgip" |
333 "ProofGeneral\\.restart" |
329 "ProofGeneral\\.restart" |