# HG changeset patch
# User wenzelm
# Date 1191756734 -7200
# Node ID d1e7c1b45c8db59fecef89707db846a8fb189f47
# Parent  62b2f9db943bdcb7d6428b62a774e9e2805ba695
emacs vs. jedit;

diff -r 62b2f9db943b -r d1e7c1b45c8d Admin/update-keywords
--- a/Admin/update-keywords	Sat Oct 06 22:31:57 2007 +0200
+++ b/Admin/update-keywords	Sun Oct 07 13:32:14 2007 +0200
@@ -5,10 +5,28 @@
 #
 # DESCRIPTION: Update standard keyword files.
 
-cd "$(isatool getenv -b ISABELLE_HOME)"/etc
+ISABELLE_HOME="$(isatool getenv -b ISABELLE_HOME)"
 LOG="$(isatool getenv -b ISABELLE_OUTPUT)"/log
 
-isatool keywords "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" "$LOG/IOA.gz"
-isatool keywords -k HOL-Nominal "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/HOL.gz" "$LOG/HOL-Nominal.gz"
-isatool keywords -k ZF "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"
+
+## Emacs ProofGeneral
+
+cd "$ISABELLE_HOME/etc"
+
+isatool keywords -t emacs \
+  "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" "$LOG/IOA.gz"
+
+isatool keywords -t emacs -k HOL-Nominal \
+  "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/HOL.gz" "$LOG/HOL-Nominal.gz"
 
+isatool keywords -t emacs -k ZF \
+  "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"
+
+
+## jEdit
+
+cd "$ISABELLE_HOME/lib/jedit"
+
+isatool keywords -t jedit \
+  "$LOG/Pure.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" "$LOG/IOA.gz" "$LOG/HOL-Nominal.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"
+