equal
deleted
inserted
replaced
37 "cannot_undo" |
37 "cannot_undo" |
38 "case" |
38 "case" |
39 "cd" |
39 "cd" |
40 "chapter" |
40 "chapter" |
41 "class" |
41 "class" |
|
42 "class_deps" |
42 "classes" |
43 "classes" |
43 "classrel" |
44 "classrel" |
44 "clear_undos" |
45 "clear_undos" |
45 "code_class" |
46 "code_class" |
46 "code_const" |
47 "code_const" |
307 (defconst isar-keywords-diag |
308 (defconst isar-keywords-diag |
308 '("ML" |
309 '("ML" |
309 "ML_command" |
310 "ML_command" |
310 "ProofGeneral\\.call_atp" |
311 "ProofGeneral\\.call_atp" |
311 "cd" |
312 "cd" |
|
313 "class_deps" |
312 "commit" |
314 "commit" |
313 "disable_pr" |
315 "disable_pr" |
314 "display_drafts" |
316 "display_drafts" |
315 "enable_pr" |
317 "enable_pr" |
316 "find_theorems" |
318 "find_theorems" |