Mercurial Mercurial > hg > nominal2 / 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.
isar-keywords-prove.el
changeset 221 f219011a5e3c
parent 200 d6a24dad5882
child 233 fcff14e578d3 
--- a/isar-keywords-prove.el	Wed Oct 28 15:25:36 2009 +0100
+++ b/isar-keywords-prove.el	Wed Oct 28 16:05:59 2009 +0100
@@ -127,6 +127,7 @@
     "method_setup"
     "moreover"
     "next"
+    "nitpick"
     "no_notation"
     "no_syntax"
     "no_translations"
@@ -580,6 +581,7 @@
     "apply_end"
     "back"
     "defer"
+    "nitpick"
     "prefer"))
 
 (provide 'isar-keywords)
nominal2