equal
deleted
inserted
replaced
9 '("\\." |
9 '("\\." |
10 "\\.\\." |
10 "\\.\\." |
11 "ML" |
11 "ML" |
12 "ML_command" |
12 "ML_command" |
13 "ML_setup" |
13 "ML_setup" |
14 "ProofGeneral\\.call_atp" |
|
15 "ProofGeneral\\.inform_file_processed" |
14 "ProofGeneral\\.inform_file_processed" |
16 "ProofGeneral\\.inform_file_retracted" |
15 "ProofGeneral\\.inform_file_retracted" |
17 "ProofGeneral\\.kill_proof" |
16 "ProofGeneral\\.kill_proof" |
18 "ProofGeneral\\.process_pgip" |
17 "ProofGeneral\\.process_pgip" |
19 "ProofGeneral\\.restart" |
18 "ProofGeneral\\.restart" |
42 "code_abstype" |
41 "code_abstype" |
43 "code_axioms" |
42 "code_axioms" |
44 "code_class" |
43 "code_class" |
45 "code_const" |
44 "code_const" |
46 "code_datatype" |
45 "code_datatype" |
|
46 "code_deps" |
47 "code_gen" |
47 "code_gen" |
48 "code_instance" |
48 "code_instance" |
49 "code_library" |
49 "code_library" |
50 "code_module" |
50 "code_module" |
51 "code_modulename" |
51 "code_modulename" |
182 "sect" |
182 "sect" |
183 "section" |
183 "section" |
184 "setup" |
184 "setup" |
185 "show" |
185 "show" |
186 "simproc_setup" |
186 "simproc_setup" |
|
187 "sledgehammer" |
187 "sorry" |
188 "sorry" |
188 "specification" |
189 "specification" |
189 "subsect" |
190 "subsect" |
190 "subsection" |
191 "subsection" |
191 "subsubsect" |
192 "subsubsect" |
311 "undos_proof")) |
312 "undos_proof")) |
312 |
313 |
313 (defconst isar-keywords-diag |
314 (defconst isar-keywords-diag |
314 '("ML" |
315 '("ML" |
315 "ML_command" |
316 "ML_command" |
316 "ProofGeneral\\.call_atp" |
|
317 "cd" |
317 "cd" |
318 "class_deps" |
318 "class_deps" |
|
319 "code_deps" |
319 "code_gen" |
320 "code_gen" |
320 "code_thms" |
321 "code_thms" |
321 "commit" |
322 "commit" |
322 "disable_pr" |
323 "disable_pr" |
323 "display_drafts" |
324 "display_drafts" |
358 "prop" |
359 "prop" |
359 "pwd" |
360 "pwd" |
360 "quickcheck" |
361 "quickcheck" |
361 "refute" |
362 "refute" |
362 "remove_thy" |
363 "remove_thy" |
|
364 "sledgehammer" |
363 "term" |
365 "term" |
364 "thm" |
366 "thm" |
365 "thm_deps" |
367 "thm_deps" |
366 "thy_deps" |
368 "thy_deps" |
367 "touch_all_thys" |
369 "touch_all_thys" |