1.1 --- a/etc/isar-keywords-ZF.el	Tue May 12 21:17:47 2009 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Tue May 12 21:39:19 2009 +0200
     1.3 @@ -155,8 +155,6 @@
     1.4      "prop"
     1.5      "pwd"
     1.6      "qed"
     1.7 -    "quickcheck"
     1.8 -    "quickcheck_params"
     1.9      "quit"
    1.10      "realizability"
    1.11      "realizers"
    1.12 @@ -319,7 +317,6 @@
    1.13      "print_trans_rules"
    1.14      "prop"
    1.15      "pwd"
    1.16 -    "quickcheck"
    1.17      "remove_thy"
    1.18      "term"
    1.19      "thm"
    1.20 @@ -397,7 +394,6 @@
    1.21      "primrec"
    1.22      "print_ast_translation"
    1.23      "print_translation"
    1.24 -    "quickcheck_params"
    1.25      "realizability"
    1.26      "realizers"
    1.27      "rep_datatype"

     2.1 --- a/etc/isar-keywords.el	Tue May 12 21:17:47 2009 +0200
     2.2 +++ b/etc/isar-keywords.el	Tue May 12 21:39:19 2009 +0200
     2.3 @@ -168,6 +168,7 @@
     2.4      "print_cases"
     2.5      "print_claset"
     2.6      "print_classes"
     2.7 +    "print_codeproc"
     2.8      "print_codesetup"
     2.9      "print_commands"
    2.10      "print_configs"
    2.11 @@ -250,6 +251,7 @@
    2.12      "use_thy"
    2.13      "using"
    2.14      "value"
    2.15 +    "values"
    2.16      "welcome"
    2.17      "with"
    2.18      "{"
    2.19 @@ -369,6 +371,7 @@
    2.20      "print_cases"
    2.21      "print_claset"
    2.22      "print_classes"
    2.23 +    "print_codeproc"
    2.24      "print_codesetup"
    2.25      "print_commands"
    2.26      "print_configs"
    2.27 @@ -402,6 +405,7 @@
    2.28      "unused_thms"
    2.29      "use_thy"
    2.30      "value"
    2.31 +    "values"
    2.32      "welcome"))
    2.33  
    2.34  (defconst isar-keywords-theory-begin

     3.1 --- a/lib/jedit/isabelle.xml	Tue May 12 21:17:47 2009 +0200
     3.2 +++ b/lib/jedit/isabelle.xml	Tue May 12 21:39:19 2009 +0200
     3.3 @@ -238,6 +238,7 @@
     3.4        <LABEL>print_cases</LABEL>
     3.5        <LABEL>print_claset</LABEL>
     3.6        <LABEL>print_classes</LABEL>
     3.7 +      <LABEL>print_codeproc</LABEL>
     3.8        <LABEL>print_codesetup</LABEL>
     3.9        <LABEL>print_commands</LABEL>
    3.10        <LABEL>print_configs</LABEL>
    3.11 @@ -335,6 +336,7 @@
    3.12        <KEYWORD4>uses</KEYWORD4>
    3.13        <OPERATOR>using</OPERATOR>
    3.14        <LABEL>value</LABEL>
    3.15 +      <LABEL>values</LABEL>
    3.16        <LABEL>welcome</LABEL>
    3.17        <KEYWORD4>where</KEYWORD4>
    3.18        <OPERATOR>with</OPERATOR>