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 19255 e80e3fdda606
parent 19149 1c31769f9796
child 19272 5f376320109a 
--- a/etc/isar-keywords.el	Tue Mar 14 16:29:29 2006 +0100
+++ b/etc/isar-keywords.el	Tue Mar 14 16:29:31 2006 +0100
@@ -109,6 +109,7 @@
     "moreover"
     "next"
     "no_syntax"
+    "no_translations"
     "nonterminals"
     "norm_by_eval"
     "note"
@@ -406,6 +407,7 @@
     "locale"
     "method_setup"
     "no_syntax"
+    "no_translations"
     "nonterminals"
     "norm_by_eval"
     "oracle"
isabelle