1.1 --- a/etc/isar-keywords-ZF.el Tue Jul 27 23:02:45 2010 +0200
1.2 +++ b/etc/isar-keywords-ZF.el Tue Jul 27 23:04:50 2010 +0200
1.3 @@ -190,7 +190,6 @@
1.4 "thm_deps"
1.5 "thus"
1.6 "thy_deps"
1.7 - "touch_thy"
1.8 "translations"
1.9 "txt"
1.10 "txt_raw"
1.11 @@ -330,7 +329,6 @@
1.12 "thm"
1.13 "thm_deps"
1.14 "thy_deps"
1.15 - "touch_thy"
1.16 "typ"
1.17 "unused_thms"
1.18 "use_thy"
2.1 --- a/etc/isar-keywords.el Tue Jul 27 23:02:45 2010 +0200
2.2 +++ b/etc/isar-keywords.el Tue Jul 27 23:04:50 2010 +0200
2.3 @@ -250,7 +250,6 @@
2.4 "thm_deps"
2.5 "thus"
2.6 "thy_deps"
2.7 - "touch_thy"
2.8 "translations"
2.9 "txt"
2.10 "txt_raw"
2.11 @@ -408,7 +407,6 @@
2.12 "thm"
2.13 "thm_deps"
2.14 "thy_deps"
2.15 - "touch_thy"
2.16 "typ"
2.17 "unused_thms"
2.18 "use_thy"