1.1 --- a/etc/isar-keywords.el	Wed Jul 25 22:20:53 2007 +0200
     1.2 +++ b/etc/isar-keywords.el	Wed Jul 25 22:20:54 2007 +0200
     1.3 @@ -153,6 +153,7 @@
     1.4      "print_locale"
     1.5      "print_locales"
     1.6      "print_methods"
     1.7 +    "print_options"
     1.8      "print_rules"
     1.9      "print_simpset"
    1.10      "print_statement"
    1.11 @@ -221,10 +222,8 @@
    1.12      "undos_proof"
    1.13      "unfolding"
    1.14      "update_thy"
    1.15 -    "update_thy_only"
    1.16      "use"
    1.17      "use_thy"
    1.18 -    "use_thy_only"
    1.19      "using"
    1.20      "value"
    1.21      "welcome"
    1.22 @@ -347,6 +346,7 @@
    1.23      "print_locale"
    1.24      "print_locales"
    1.25      "print_methods"
    1.26 +    "print_options"
    1.27      "print_rules"
    1.28      "print_simpset"
    1.29      "print_statement"
    1.30 @@ -369,10 +369,8 @@
    1.31      "touch_thy"
    1.32      "typ"
    1.33      "update_thy"
    1.34 -    "update_thy_only"
    1.35      "use"
    1.36      "use_thy"
    1.37 -    "use_thy_only"
    1.38      "value"
    1.39      "welcome"))
    1.40