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