diff -r d1e7c1b45c8d -r 0fc7ba713a27 lib/Tools/keywords
--- a/lib/Tools/keywords	Sun Oct 07 13:32:14 2007 +0200
+++ b/lib/Tools/keywords	Sun Oct 07 13:32:15 2007 +0200
@@ -17,9 +17,9 @@
   echo
   echo "  Options are:"
   echo "    -k NAME      specific name of keywords collection (default: empty)"
+  echo "    -t TARGET    target tool (default: emacs)"
   echo
   echo "  Generate outer syntax keyword files from (compressed) session LOGS."
-  echo "  Targets Emacs Proof General."
   echo
   exit 1
 }
@@ -30,13 +30,17 @@
 # options
 
 KEYWORDS_NAME=""
+TARGET_TOOL="emacs"
 
-while getopts "k:" OPT
+while getopts "k:t:" OPT
 do
   case "$OPT" in
     k)
       KEYWORDS_NAME="$OPTARG"
       ;;
+    t)
+      TARGET_TOOL="$OPTARG"
+      ;;
     \?)
       usage
       ;;
@@ -60,12 +64,10 @@
 for LOG in $LOGS
 do
   NAME="$(basename "$LOG" .gz)"
-  if [ "$NAME" != Pure -a "$NAME" != Pure-ProofGeneral ]; then
-    if [ -z "$SESSIONS" ]; then
-      SESSIONS="$NAME"
-    else
-      SESSIONS="$SESSIONS + $NAME"
-    fi
+  if [ -z "$SESSIONS" ]; then
+    SESSIONS="$NAME"
+  else
+    SESSIONS="$SESSIONS + $NAME"
   fi
 done
 
@@ -77,4 +79,5 @@
     gzip -dc "$LOG"
   fi
   echo
-done | "$AUTO_PERL" -w "$ISABELLE_HOME/lib/scripts/keywords.pl" "$KEYWORDS_NAME" "$SESSIONS"
+done | \
+"$AUTO_PERL" -w "$ISABELLE_HOME/lib/scripts/keywords.pl" "$KEYWORDS_NAME" "$TARGET_TOOL" "$SESSIONS"