--- a/etc/isar-keywords-ZF.el Tue May 12 21:17:47 2009 +0200
+++ b/etc/isar-keywords-ZF.el Tue May 12 21:39:19 2009 +0200
@@ -155,8 +155,6 @@
"prop"
"pwd"
"qed"
- "quickcheck"
- "quickcheck_params"
"quit"
"realizability"
"realizers"
@@ -319,7 +317,6 @@
"print_trans_rules"
"prop"
"pwd"
- "quickcheck"
"remove_thy"
"term"
"thm"
@@ -397,7 +394,6 @@
"primrec"
"print_ast_translation"
"print_translation"
- "quickcheck_params"
"realizability"
"realizers"
"rep_datatype"
--- a/etc/isar-keywords.el Tue May 12 21:17:47 2009 +0200
+++ b/etc/isar-keywords.el Tue May 12 21:39:19 2009 +0200
@@ -168,6 +168,7 @@
"print_cases"
"print_claset"
"print_classes"
+ "print_codeproc"
"print_codesetup"
"print_commands"
"print_configs"
@@ -250,6 +251,7 @@
"use_thy"
"using"
"value"
+ "values"
"welcome"
"with"
"{"
@@ -369,6 +371,7 @@
"print_cases"
"print_claset"
"print_classes"
+ "print_codeproc"
"print_codesetup"
"print_commands"
"print_configs"
@@ -402,6 +405,7 @@
"unused_thms"
"use_thy"
"value"
+ "values"
"welcome"))
(defconst isar-keywords-theory-begin
--- a/lib/jedit/isabelle.xml Tue May 12 21:17:47 2009 +0200
+++ b/lib/jedit/isabelle.xml Tue May 12 21:39:19 2009 +0200
@@ -238,6 +238,7 @@
<LABEL>print_cases</LABEL>
<LABEL>print_claset</LABEL>
<LABEL>print_classes</LABEL>
+ <LABEL>print_codeproc</LABEL>
<LABEL>print_codesetup</LABEL>
<LABEL>print_commands</LABEL>
<LABEL>print_configs</LABEL>
@@ -335,6 +336,7 @@
<KEYWORD4>uses</KEYWORD4>
<OPERATOR>using</OPERATOR>
<LABEL>value</LABEL>
+ <LABEL>values</LABEL>
<LABEL>welcome</LABEL>
<KEYWORD4>where</KEYWORD4>
<OPERATOR>with</OPERATOR>