etc/isar-keywords-ZF.el
changeset 37987 aac4eb1fa1d8
parent 37983 d104dedacd9e
child 38219 521f10c13e61
     1.1 --- a/etc/isar-keywords-ZF.el	Wed Jul 28 00:03:22 2010 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Wed Jul 28 00:13:26 2010 +0200
     1.3 @@ -269,13 +269,18 @@
     1.4      "ProofGeneral\\.restart"
     1.5      "ProofGeneral\\.undo"
     1.6      "cannot_undo"
     1.7 +    "disable_pr"
     1.8 +    "enable_pr"
     1.9      "exit"
    1.10      "init_toplevel"
    1.11      "kill"
    1.12 +    "kill_thy"
    1.13      "linear_undo"
    1.14      "quit"
    1.15 +    "remove_thy"
    1.16      "undo"
    1.17 -    "undos_proof"))
    1.18 +    "undos_proof"
    1.19 +    "use_thy"))
    1.20  
    1.21  (defconst isar-keywords-diag
    1.22    '("ML_command"
    1.23 @@ -284,15 +289,12 @@
    1.24      "cd"
    1.25      "class_deps"
    1.26      "commit"
    1.27 -    "disable_pr"
    1.28      "display_drafts"
    1.29 -    "enable_pr"
    1.30      "find_consts"
    1.31      "find_theorems"
    1.32      "full_prf"
    1.33      "header"
    1.34      "help"
    1.35 -    "kill_thy"
    1.36      "pr"
    1.37      "pretty_setmargin"
    1.38      "prf"
    1.39 @@ -324,14 +326,12 @@
    1.40      "print_trans_rules"
    1.41      "prop"
    1.42      "pwd"
    1.43 -    "remove_thy"
    1.44      "term"
    1.45      "thm"
    1.46      "thm_deps"
    1.47      "thy_deps"
    1.48      "typ"
    1.49      "unused_thms"
    1.50 -    "use_thy"
    1.51      "welcome"))
    1.52  
    1.53  (defconst isar-keywords-theory-begin