1.1 --- a/etc/isar-keywords-ZF.el	Tue Jul 08 21:15:23 2008 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Tue Jul 08 21:55:41 2008 +0200
     1.3 @@ -178,7 +178,6 @@
     1.4      "thm_deps"
     1.5      "thus"
     1.6      "thy_deps"
     1.7 -    "touch_child_thys"
     1.8      "touch_thy"
     1.9      "translations"
    1.10      "txt"
    1.11 @@ -313,7 +312,6 @@
    1.12      "thm"
    1.13      "thm_deps"
    1.14      "thy_deps"
    1.15 -    "touch_child_thys"
    1.16      "touch_thy"
    1.17      "typ"
    1.18      "unused_thms"

     2.1 --- a/etc/isar-keywords.el	Tue Jul 08 21:15:23 2008 +0200
     2.2 +++ b/etc/isar-keywords.el	Tue Jul 08 21:55:41 2008 +0200
     2.3 @@ -216,7 +216,6 @@
     2.4      "thm_deps"
     2.5      "thus"
     2.6      "thy_deps"
     2.7 -    "touch_child_thys"
     2.8      "touch_thy"
     2.9      "translations"
    2.10      "txt"
    2.11 @@ -373,7 +372,6 @@
    2.12      "thm"
    2.13      "thm_deps"
    2.14      "thy_deps"
    2.15 -    "touch_child_thys"
    2.16      "touch_thy"
    2.17      "typ"
    2.18      "unused_thms"

     3.1 --- a/lib/jedit/isabelle.xml	Tue Jul 08 21:15:23 2008 +0200
     3.2 +++ b/lib/jedit/isabelle.xml	Tue Jul 08 21:55:41 2008 +0200
     3.3 @@ -296,7 +296,6 @@
     3.4        <KEYWORD2>thus</KEYWORD2>
     3.5        <LABEL>thy_deps</LABEL>
     3.6        <KEYWORD4>to</KEYWORD4>
     3.7 -      <LABEL>touch_child_thys</LABEL>
     3.8        <LABEL>touch_thy</LABEL>
     3.9        <KEYWORD4>transitions</KEYWORD4>
    3.10        <OPERATOR>translations</OPERATOR>