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 keywords;
authorwenzelm
Wed, 26 Sep 2012 14:50:46 +0200
changeset 49571 7e6fc0254d23
parent 49570 2265456f6131
child 49572 0d2f81eb7bf4
updated keywords;
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	Wed Sep 26 14:38:23 2012 +0200
+++ b/etc/isar-keywords-ZF.el	Wed Sep 26 14:50:46 2012 +0200
@@ -96,6 +96,7 @@
     "linear_undo"
     "local_setup"
     "locale"
+    "locale_deps"
     "method_setup"
     "moreover"
     "next"
@@ -286,6 +287,7 @@
     "full_prf"
     "header"
     "help"
+    "locale_deps"
     "pr"
     "pretty_setmargin"
     "prf"
--- a/etc/isar-keywords.el	Wed Sep 26 14:38:23 2012 +0200
+++ b/etc/isar-keywords.el	Wed Sep 26 14:50:46 2012 +0200
@@ -139,6 +139,7 @@
     "linear_undo"
     "local_setup"
     "locale"
+    "locale_deps"
     "method_setup"
     "moreover"
     "next"
@@ -388,6 +389,7 @@
     "full_prf"
     "header"
     "help"
+    "locale_deps"
     "nitpick"
     "pr"
     "pretty_setmargin"
isabelle