equal
deleted
inserted
replaced
34 "cannot_undo" |
34 "cannot_undo" |
35 "case" |
35 "case" |
36 "cd" |
36 "cd" |
37 "chapter" |
37 "chapter" |
38 "class" |
38 "class" |
|
39 "class_deps" |
39 "classes" |
40 "classes" |
40 "classrel" |
41 "classrel" |
41 "clear_undos" |
42 "clear_undos" |
42 "codatatype" |
43 "codatatype" |
43 "code_class" |
44 "code_class" |
44 "code_const" |
45 "code_const" |
45 "code_constname" |
46 "code_constname" |
46 "code_gen" |
47 "code_gen" |
47 "code_generate" |
|
48 "code_instance" |
48 "code_instance" |
49 "code_library" |
49 "code_library" |
50 "code_module" |
50 "code_module" |
51 "code_purge" |
51 "code_purge" |
52 "code_serialize" |
|
53 "code_simtype" |
52 "code_simtype" |
54 "code_type" |
53 "code_type" |
55 "code_typename" |
54 "code_typename" |
56 "coinductive" |
55 "coinductive" |
57 "commit" |
56 "commit" |
273 |
272 |
274 (defconst isar-keywords-diag |
273 (defconst isar-keywords-diag |
275 '("ML" |
274 '("ML" |
276 "ML_command" |
275 "ML_command" |
277 "cd" |
276 "cd" |
|
277 "class_deps" |
278 "commit" |
278 "commit" |
279 "disable_pr" |
279 "disable_pr" |
280 "display_drafts" |
280 "display_drafts" |
281 "enable_pr" |
281 "enable_pr" |
282 "find_theorems" |
282 "find_theorems" |
356 "codatatype" |
356 "codatatype" |
357 "code_class" |
357 "code_class" |
358 "code_const" |
358 "code_const" |
359 "code_constname" |
359 "code_constname" |
360 "code_gen" |
360 "code_gen" |
361 "code_generate" |
|
362 "code_instance" |
361 "code_instance" |
363 "code_library" |
362 "code_library" |
364 "code_module" |
363 "code_module" |
365 "code_purge" |
364 "code_purge" |
366 "code_serialize" |
|
367 "code_type" |
365 "code_type" |
368 "code_typename" |
366 "code_typename" |
369 "coinductive" |
367 "coinductive" |
370 "const_syntax" |
368 "const_syntax" |
371 "constdefs" |
369 "constdefs" |