# HG changeset patch
# User blanchet
# Date 1380034490 -7200
# Node ID fb66852b3227edac1bb72ab4e5246f2f0082acfe
# Parent  b81cea96a85e3819b91ae3a05b1d939081577f58
updated keywords

diff -r b81cea96a85e -r fb66852b3227 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Tue Sep 24 16:21:04 2013 +0200
+++ b/etc/isar-keywords.el	Tue Sep 24 16:54:50 2013 +0200
@@ -172,6 +172,7 @@
     "presume"
     "pretty_setmargin"
     "prf"
+    "primcorec"
     "primcorecursive"
     "primrec"
     "primrec_new"
@@ -561,6 +562,7 @@
     "parse_ast_translation"
     "parse_translation"
     "partial_function"
+    "primcorec"
     "primrec"
     "primrec_new"
     "print_ast_translation"