1.1 --- a/etc/isar-keywords-HOL-Nominal.el	Wed Jul 25 22:20:53 2007 +0200
     1.2 +++ b/etc/isar-keywords-HOL-Nominal.el	Wed Jul 25 22:20:54 2007 +0200
     1.3 @@ -220,10 +220,8 @@
     1.4      "undos_proof"
     1.5      "unfolding"
     1.6      "update_thy"
     1.7 -    "update_thy_only"
     1.8      "use"
     1.9      "use_thy"
    1.10 -    "use_thy_only"
    1.11      "using"
    1.12      "value"
    1.13      "welcome"
    1.14 @@ -355,10 +353,8 @@
    1.15      "touch_thy"
    1.16      "typ"
    1.17      "update_thy"
    1.18 -    "update_thy_only"
    1.19      "use"
    1.20      "use_thy"
    1.21 -    "use_thy_only"
    1.22      "value"
    1.23      "welcome"))
    1.24  

     2.1 --- a/etc/isar-keywords-ZF.el	Wed Jul 25 22:20:53 2007 +0200
     2.2 +++ b/etc/isar-keywords-ZF.el	Wed Jul 25 22:20:54 2007 +0200
     2.3 @@ -202,10 +202,8 @@
     2.4      "undos_proof"
     2.5      "unfolding"
     2.6      "update_thy"
     2.7 -    "update_thy_only"
     2.8      "use"
     2.9      "use_thy"
    2.10 -    "use_thy_only"
    2.11      "using"
    2.12      "value"
    2.13      "welcome"
    2.14 @@ -333,10 +331,8 @@
    2.15      "touch_thy"
    2.16      "typ"
    2.17      "update_thy"
    2.18 -    "update_thy_only"
    2.19      "use"
    2.20      "use_thy"
    2.21 -    "use_thy_only"
    2.22      "value"
    2.23      "welcome"))
    2.24  

     3.1 --- a/etc/isar-keywords.el	Wed Jul 25 22:20:53 2007 +0200
     3.2 +++ b/etc/isar-keywords.el	Wed Jul 25 22:20:54 2007 +0200
     3.3 @@ -153,6 +153,7 @@
     3.4      "print_locale"
     3.5      "print_locales"
     3.6      "print_methods"
     3.7 +    "print_options"
     3.8      "print_rules"
     3.9      "print_simpset"
    3.10      "print_statement"
    3.11 @@ -221,10 +222,8 @@
    3.12      "undos_proof"
    3.13      "unfolding"
    3.14      "update_thy"
    3.15 -    "update_thy_only"
    3.16      "use"
    3.17      "use_thy"
    3.18 -    "use_thy_only"
    3.19      "using"
    3.20      "value"
    3.21      "welcome"
    3.22 @@ -347,6 +346,7 @@
    3.23      "print_locale"
    3.24      "print_locales"
    3.25      "print_methods"
    3.26 +    "print_options"
    3.27      "print_rules"
    3.28      "print_simpset"
    3.29      "print_statement"
    3.30 @@ -369,10 +369,8 @@
    3.31      "touch_thy"
    3.32      "typ"
    3.33      "update_thy"
    3.34 -    "update_thy_only"
    3.35      "use"
    3.36      "use_thy"
    3.37 -    "use_thy_only"
    3.38      "value"
    3.39      "welcome"))
    3.40