equal
deleted
inserted
replaced
7 (defconst isar-keywords-major |
7 (defconst isar-keywords-major |
8 '("\\." |
8 '("\\." |
9 "\\.\\." |
9 "\\.\\." |
10 "Isabelle\\.command" |
10 "Isabelle\\.command" |
11 "Isar\\.begin_document" |
11 "Isar\\.begin_document" |
12 "Isar\\.command" |
|
13 "Isar\\.define_command" |
12 "Isar\\.define_command" |
14 "Isar\\.edit_document" |
13 "Isar\\.edit_document" |
15 "Isar\\.end_document" |
14 "Isar\\.end_document" |
16 "Isar\\.insert" |
|
17 "Isar\\.remove" |
|
18 "ML" |
15 "ML" |
19 "ML_command" |
16 "ML_command" |
20 "ML_prf" |
17 "ML_prf" |
21 "ML_val" |
18 "ML_val" |
22 "ProofGeneral\\.inform_file_processed" |
19 "ProofGeneral\\.inform_file_processed" |
133 "local_setup" |
130 "local_setup" |
134 "locale" |
131 "locale" |
135 "method_setup" |
132 "method_setup" |
136 "moreover" |
133 "moreover" |
137 "next" |
134 "next" |
|
135 "nitpick" |
|
136 "nitpick_params" |
138 "no_notation" |
137 "no_notation" |
139 "no_syntax" |
138 "no_syntax" |
140 "no_translations" |
139 "no_translations" |
141 "nominal_datatype" |
140 "nominal_datatype" |
142 "nominal_inductive" |
141 "nominal_inductive" |
315 "where")) |
314 "where")) |
316 |
315 |
317 (defconst isar-keywords-control |
316 (defconst isar-keywords-control |
318 '("Isabelle\\.command" |
317 '("Isabelle\\.command" |
319 "Isar\\.begin_document" |
318 "Isar\\.begin_document" |
320 "Isar\\.command" |
|
321 "Isar\\.define_command" |
319 "Isar\\.define_command" |
322 "Isar\\.edit_document" |
320 "Isar\\.edit_document" |
323 "Isar\\.end_document" |
321 "Isar\\.end_document" |
324 "Isar\\.insert" |
|
325 "Isar\\.remove" |
|
326 "ProofGeneral\\.inform_file_processed" |
322 "ProofGeneral\\.inform_file_processed" |
327 "ProofGeneral\\.inform_file_retracted" |
323 "ProofGeneral\\.inform_file_retracted" |
328 "ProofGeneral\\.kill_proof" |
324 "ProofGeneral\\.kill_proof" |
329 "ProofGeneral\\.process_pgip" |
325 "ProofGeneral\\.process_pgip" |
330 "ProofGeneral\\.restart" |
326 "ProofGeneral\\.restart" |
358 "find_theorems" |
354 "find_theorems" |
359 "full_prf" |
355 "full_prf" |
360 "header" |
356 "header" |
361 "help" |
357 "help" |
362 "kill_thy" |
358 "kill_thy" |
|
359 "nitpick" |
363 "normal_form" |
360 "normal_form" |
364 "pr" |
361 "pr" |
365 "pretty_setmargin" |
362 "pretty_setmargin" |
366 "prf" |
363 "prf" |
367 "print_abbrevs" |
364 "print_abbrevs" |
480 "lemmas" |
477 "lemmas" |
481 "local" |
478 "local" |
482 "local_setup" |
479 "local_setup" |
483 "locale" |
480 "locale" |
484 "method_setup" |
481 "method_setup" |
|
482 "nitpick_params" |
485 "no_notation" |
483 "no_notation" |
486 "no_syntax" |
484 "no_syntax" |
487 "no_translations" |
485 "no_translations" |
488 "nominal_datatype" |
486 "nominal_datatype" |
489 "nonterminals" |
487 "nonterminals" |