--- a/etc/isar-keywords.el Wed Jul 28 00:03:22 2010 +0200
+++ b/etc/isar-keywords.el Wed Jul 28 00:13:26 2010 +0200
@@ -333,13 +333,18 @@
"ProofGeneral\\.restart"
"ProofGeneral\\.undo"
"cannot_undo"
+ "disable_pr"
+ "enable_pr"
"exit"
"init_toplevel"
"kill"
+ "kill_thy"
"linear_undo"
"quit"
+ "remove_thy"
"undo"
- "undos_proof"))
+ "undos_proof"
+ "use_thy"))
(defconst isar-keywords-diag
'("ML_command"
@@ -351,16 +356,13 @@
"code_deps"
"code_thms"
"commit"
- "disable_pr"
"display_drafts"
- "enable_pr"
"export_code"
"find_consts"
"find_theorems"
"full_prf"
"header"
"help"
- "kill_thy"
"nitpick"
"normal_form"
"pr"
@@ -400,7 +402,6 @@
"pwd"
"quickcheck"
"refute"
- "remove_thy"
"sledgehammer"
"smt_status"
"term"
@@ -409,7 +410,6 @@
"thy_deps"
"typ"
"unused_thms"
- "use_thy"
"value"
"values"
"welcome"))