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
Sat, 25 May 2013 15:00:53 +0200
changeset 52142 348aed032cda
parent 52139 40fe6b80b481
child 52143 36ffe23b25f8
updated keywords;
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords.el	Sat May 25 13:59:08 2013 +0200
+++ b/etc/isar-keywords.el	Sat May 25 15:00:53 2013 +0200
@@ -52,11 +52,13 @@
     "code_const"
     "code_datatype"
     "code_deps"
+    "code_identifier"
     "code_include"
     "code_instance"
     "code_modulename"
     "code_monad"
     "code_pred"
+    "code_printing"
     "code_reflect"
     "code_reserved"
     "code_thms"
@@ -309,7 +311,11 @@
     "begin"
     "binder"
     "checking"
+    "class_instance"
+    "class_relation"
+    "code_module"
     "congs"
+    "constant"
     "constrains"
     "datatypes"
     "defaults"
@@ -345,6 +351,8 @@
     "rep_compat"
     "shows"
     "structure"
+    "type_class"
+    "type_constructor"
     "unchecked"
     "unsafe"
     "where"))
@@ -487,10 +495,12 @@
     "code_class"
     "code_const"
     "code_datatype"
+    "code_identifier"
     "code_include"
     "code_instance"
     "code_modulename"
     "code_monad"
+    "code_printing"
     "code_reflect"
     "code_reserved"
     "code_type"
isabelle