# HG changeset patch
# User haftmann
# Date 1242157159 -7200
# Node ID 94cb206f8f6a3d927e5b3f3ac94209d890c69c25
# Parent  d2cead76fca25ef671f7bc7fe8d27eee254b15d5
updated keywords

diff -r d2cead76fca2 -r 94cb206f8f6a etc/isar-keywords-ZF.el
--- 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"
diff -r d2cead76fca2 -r 94cb206f8f6a etc/isar-keywords.el
--- 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
diff -r d2cead76fca2 -r 94cb206f8f6a lib/jedit/isabelle.xml
--- 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>