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 53651 ee90c67502c9
parent 53637 f8147d885600
child 53768 46a2154f250c 
--- a/etc/isar-keywords.el	Mon Sep 16 11:54:57 2013 +0200
+++ b/etc/isar-keywords.el	Mon Sep 16 15:30:17 2013 +0200
@@ -135,6 +135,8 @@
     "lemmas"
     "let"
     "lift_definition"
+    "lifting_forget"
+    "lifting_update"
     "linear_undo"
     "local_setup"
     "locale"
@@ -539,6 +541,8 @@
     "instantiation"
     "judgment"
     "lemmas"
+    "lifting_forget"
+    "lifting_update"
     "local_setup"
     "locale"
     "method_setup"
isabelle