equal
deleted
inserted
replaced
40 "code_abstype" |
40 "code_abstype" |
41 "code_axioms" |
41 "code_axioms" |
42 "code_class" |
42 "code_class" |
43 "code_const" |
43 "code_const" |
44 "code_datatype" |
44 "code_datatype" |
|
45 "code_deps" |
45 "code_gen" |
46 "code_gen" |
46 "code_instance" |
47 "code_instance" |
47 "code_library" |
48 "code_library" |
48 "code_module" |
49 "code_module" |
49 "code_modulename" |
50 "code_modulename" |
275 (defconst isar-keywords-diag |
276 (defconst isar-keywords-diag |
276 '("ML" |
277 '("ML" |
277 "ML_command" |
278 "ML_command" |
278 "cd" |
279 "cd" |
279 "class_deps" |
280 "class_deps" |
|
281 "code_deps" |
280 "code_gen" |
282 "code_gen" |
281 "code_thms" |
283 "code_thms" |
282 "commit" |
284 "commit" |
283 "disable_pr" |
285 "disable_pr" |
284 "display_drafts" |
286 "display_drafts" |