etc/isar-keywords.el
changeset 31130 94cb206f8f6a
parent 31108 0ce5f53fc65d
child 32804 ca430e6aee1c
     1.1 --- a/etc/isar-keywords.el	Tue May 12 21:17:47 2009 +0200
     1.2 +++ b/etc/isar-keywords.el	Tue May 12 21:39:19 2009 +0200
     1.3 @@ -168,6 +168,7 @@
     1.4      "print_cases"
     1.5      "print_claset"
     1.6      "print_classes"
     1.7 +    "print_codeproc"
     1.8      "print_codesetup"
     1.9      "print_commands"
    1.10      "print_configs"
    1.11 @@ -250,6 +251,7 @@
    1.12      "use_thy"
    1.13      "using"
    1.14      "value"
    1.15 +    "values"
    1.16      "welcome"
    1.17      "with"
    1.18      "{"
    1.19 @@ -369,6 +371,7 @@
    1.20      "print_cases"
    1.21      "print_claset"
    1.22      "print_classes"
    1.23 +    "print_codeproc"
    1.24      "print_codesetup"
    1.25      "print_commands"
    1.26      "print_configs"
    1.27 @@ -402,6 +405,7 @@
    1.28      "unused_thms"
    1.29      "use_thy"
    1.30      "value"
    1.31 +    "values"
    1.32      "welcome"))
    1.33  
    1.34  (defconst isar-keywords-theory-begin