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-ZF.el
changeset 40960 9e54eb514a46
parent 40784 177e8cea3e09
child 40965 54b6c9e1c157 
--- a/etc/isar-keywords-ZF.el	Sat Dec 04 18:41:12 2010 +0100
+++ b/etc/isar-keywords-ZF.el	Sat Dec 04 21:26:55 2010 +0100
@@ -107,6 +107,7 @@
     "nonterminals"
     "notation"
     "note"
+    "notepad"
     "obtain"
     "oops"
     "oracle"
@@ -383,6 +384,7 @@
     "no_type_notation"
     "nonterminals"
     "notation"
+    "notepad"
     "oracle"
     "overloading"
     "parse_ast_translation"
isabelle