Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
etc/isar-keywords.el
changeset 23992 bf352c4c499b
parent 23804 5801141870b1
child 24120 2ce3945228d8 
--- a/etc/isar-keywords.el	Wed Jul 25 22:20:53 2007 +0200
+++ b/etc/isar-keywords.el	Wed Jul 25 22:20:54 2007 +0200
@@ -153,6 +153,7 @@
     "print_locale"
     "print_locales"
     "print_methods"
+    "print_options"
     "print_rules"
     "print_simpset"
     "print_statement"
@@ -221,10 +222,8 @@
     "undos_proof"
     "unfolding"
     "update_thy"
-    "update_thy_only"
     "use"
     "use_thy"
-    "use_thy_only"
     "using"
     "value"
     "welcome"
@@ -347,6 +346,7 @@
     "print_locale"
     "print_locales"
     "print_methods"
+    "print_options"
     "print_rules"
     "print_simpset"
     "print_statement"
@@ -369,10 +369,8 @@
     "touch_thy"
     "typ"
     "update_thy"
-    "update_thy_only"
     "use"
     "use_thy"
-    "use_thy_only"
     "value"
     "welcome"))
isabelle