# HG changeset patch
# User nipkow
# Date 1102959709 -3600
# Node ID 9e85d2b04867d40f41630047288ed9cf6a426469
# Parent  75a2ca90693e78c772dae481ce2b407930e0ccde
added find_rewrites

diff -r 75a2ca90693e -r 9e85d2b04867 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Mon Dec 13 17:44:52 2004 +0100
+++ b/etc/isar-keywords-ZF.el	Mon Dec 13 18:41:49 2004 +0100
@@ -59,6 +59,7 @@
     "extract_type"
     "finalconsts"
     "finally"
+    "find_rewrites"
     "fix"
     "from"
     "full_prf"
@@ -241,6 +242,7 @@
     "disable_pr"
     "display_drafts"
     "enable_pr"
+    "find_rewrites"
     "full_prf"
     "header"
     "kill_thy"