# HG changeset patch
# User wenzelm
# Date 1347385757 -7200
# Node ID ac42d79ab164aa91bed11e83cf84e12e678abff6
# Parent  66058a677ddd38c9e758c2c708962a2c27b6df4c
updated keywords;

diff -r 66058a677ddd -r ac42d79ab164 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Tue Sep 11 19:45:12 2012 +0200
+++ b/etc/isar-keywords.el	Tue Sep 11 19:49:17 2012 +0200
@@ -312,6 +312,7 @@
     "congs"
     "constrains"
     "datatypes"
+    "defaults"
     "defines"
     "file"
     "fixes"
@@ -332,6 +333,7 @@
     "module_name"
     "monos"
     "morphisms"
+    "no_dests"
     "notes"
     "obtains"
     "open"