Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated;
authorwenzelm
Tue, 14 Mar 2006 16:29:31 +0100
changeset 19255 e80e3fdda606
parent 19254 efaf5d47049e
child 19256 a49c0f7c9634
updated;
etc/isar-keywords-ZF.el file | annotate | diff | comparison | revisions
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords-ZF.el	Tue Mar 14 16:29:29 2006 +0100
+++ b/etc/isar-keywords-ZF.el	Tue Mar 14 16:29:31 2006 +0100
@@ -102,6 +102,7 @@
     "moreover"
     "next"
     "no_syntax"
+    "no_translations"
     "nonterminals"
     "norm_by_eval"
     "note"
@@ -371,6 +372,7 @@
     "locale"
     "method_setup"
     "no_syntax"
+    "no_translations"
     "nonterminals"
     "norm_by_eval"
     "oracle"
--- 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