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