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
authorhaftmann
Wed, 28 Apr 2010 15:42:10 +0200
changeset 36472 3e677ca1e564
parent 36471 5aae37575885
child 36497 d2e8e5561c35
child 36509 9cff57fc7113
child 36513 70096cbdd4e0
updated keywords
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords.el	Wed Apr 28 15:17:13 2010 +0200
+++ b/etc/isar-keywords.el	Wed Apr 28 15:42:10 2010 +0200
@@ -61,6 +61,7 @@
     "code_modulename"
     "code_monad"
     "code_pred"
+    "code_reflect"
     "code_reserved"
     "code_thms"
     "code_type"
@@ -288,10 +289,12 @@
     "congs"
     "constrains"
     "contains"
+    "datatypes"
     "defines"
     "file"
     "fixes"
     "for"
+    "functions"
     "hide_action"
     "hints"
     "identifier"
@@ -466,6 +469,7 @@
     "code_module"
     "code_modulename"
     "code_monad"
+    "code_reflect"
     "code_reserved"
     "code_type"
     "coinductive"
isabelle