# HG changeset patch
# User krauss
# Date 1379190865 -7200
# Node ID f8147d885600722c37a25e00230c71d8c95a1938
# Parent  9b5735de1f1a907d45a256afbc2a032d9a87c30a
updated keywords

diff -r 9b5735de1f1a -r f8147d885600 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Sat Sep 14 18:24:12 2013 +0200
+++ b/etc/isar-keywords.el	Sat Sep 14 22:34:25 2013 +0200
@@ -102,6 +102,7 @@
     "from"
     "full_prf"
     "fun"
+    "fun_cases"
     "function"
     "guess"
     "have"
@@ -524,6 +525,7 @@
     "extract_type"
     "fixrec"
     "fun"
+    "fun_cases"
     "hide_class"
     "hide_const"
     "hide_fact"