# HG changeset patch
# User nipkow
# Date 1102954067 -3600
# Node ID 010ea63b7a677345a51635863e82364aac999114
# Parent  a9a762f586b5349ced29e1b21d677663cc883940
added find_rewrites

diff -r a9a762f586b5 -r 010ea63b7a67 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Mon Dec 13 15:06:59 2004 +0100
+++ b/etc/isar-keywords.el	Mon Dec 13 17:07:47 2004 +0100
@@ -62,6 +62,7 @@
     "extract_type"
     "finalconsts"
     "finally"
+    "find_rewrites"
     "fix"
     "from"
     "full_prf"
@@ -266,6 +267,7 @@
     "disable_pr"
     "display_drafts"
     "enable_pr"
+    "find_rewrites"
     "full_prf"
     "header"
     "kill_thy"