# HG changeset patch
# User wenzelm
# Date 1280264690 -7200
# Node ID d104dedacd9e5c9b41a5a83907601a55aa43fc3e
# Parent  111ce96515641731285378ff65eac3ffdd86c311
updated keywords;

diff -r 111ce9651564 -r d104dedacd9e etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Tue Jul 27 23:02:45 2010 +0200
+++ b/etc/isar-keywords-ZF.el	Tue Jul 27 23:04:50 2010 +0200
@@ -190,7 +190,6 @@
     "thm_deps"
     "thus"
     "thy_deps"
-    "touch_thy"
     "translations"
     "txt"
     "txt_raw"
@@ -330,7 +329,6 @@
     "thm"
     "thm_deps"
     "thy_deps"
-    "touch_thy"
     "typ"
     "unused_thms"
     "use_thy"
diff -r 111ce9651564 -r d104dedacd9e etc/isar-keywords.el
--- a/etc/isar-keywords.el	Tue Jul 27 23:02:45 2010 +0200
+++ b/etc/isar-keywords.el	Tue Jul 27 23:04:50 2010 +0200
@@ -250,7 +250,6 @@
     "thm_deps"
     "thus"
     "thy_deps"
-    "touch_thy"
     "translations"
     "txt"
     "txt_raw"
@@ -408,7 +407,6 @@
     "thm"
     "thm_deps"
     "thy_deps"
-    "touch_thy"
     "typ"
     "unused_thms"
     "use_thy"