# HG changeset patch # User wenzelm # Date 1215546941 -7200 # Node ID a8561998cea7888c8b956ed71611fce8854b872d # Parent 632ee56c2c0b44a4cf9ac32d8b3314496d504456 updated generated file; diff -r 632ee56c2c0b -r a8561998cea7 etc/isar-keywords-ZF.el --- a/etc/isar-keywords-ZF.el Tue Jul 08 21:15:23 2008 +0200 +++ b/etc/isar-keywords-ZF.el Tue Jul 08 21:55:41 2008 +0200 @@ -178,7 +178,6 @@ "thm_deps" "thus" "thy_deps" - "touch_child_thys" "touch_thy" "translations" "txt" @@ -313,7 +312,6 @@ "thm" "thm_deps" "thy_deps" - "touch_child_thys" "touch_thy" "typ" "unused_thms" diff -r 632ee56c2c0b -r a8561998cea7 etc/isar-keywords.el --- a/etc/isar-keywords.el Tue Jul 08 21:15:23 2008 +0200 +++ b/etc/isar-keywords.el Tue Jul 08 21:55:41 2008 +0200 @@ -216,7 +216,6 @@ "thm_deps" "thus" "thy_deps" - "touch_child_thys" "touch_thy" "translations" "txt" @@ -373,7 +372,6 @@ "thm" "thm_deps" "thy_deps" - "touch_child_thys" "touch_thy" "typ" "unused_thms" diff -r 632ee56c2c0b -r a8561998cea7 lib/jedit/isabelle.xml --- a/lib/jedit/isabelle.xml Tue Jul 08 21:15:23 2008 +0200 +++ b/lib/jedit/isabelle.xml Tue Jul 08 21:55:41 2008 +0200 @@ -296,7 +296,6 @@ thus to - transitions translations