# HG changeset patch
# User wenzelm
# Date 1228236639 -3600
# Node ID 08d9243bfaf157c3722df2e582ad30ea655ecaea
# Parent  da79ac67794b7d57893736da032d3645d9bf1924# Parent  7c6b0850d240b072a831d0318af5bd30d60c96ae
Automated merge with file:///mnt/home/isabelle-repository/repos/isabelle

diff -r da79ac67794b -r 08d9243bfaf1 bin/isabelle
--- a/bin/isabelle	Tue Dec 02 14:29:12 2008 +0100
+++ b/bin/isabelle	Tue Dec 02 17:50:39 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Markus Wenzel, TU Muenchen
 #
 # Isabelle tool wrapper.
@@ -34,14 +33,16 @@
     IFS=":"
     for DIR in $ISABELLE_TOOLS
     do
-      cd "$DIR"
-      for T in *
-      do
-        if [ -f "$T" -a -x "$T" ]; then
-          DESCRLINE=$(fgrep DESCRIPTION: "$T" | sed -e 's/^.*DESCRIPTION: *//')
-          echo "    $T - $DESCRLINE"
-        fi
-      done
+      if [ -d "$DIR" ]; then
+        cd "$DIR"
+        for T in *
+        do
+          if [ -f "$T" -a -x "$T" ]; then
+            DESCRLINE=$(fgrep DESCRIPTION: "$T" | sed -e 's/^.*DESCRIPTION: *//')
+            echo "    $T - $DESCRLINE"
+          fi
+        done
+      fi
     done
     IFS="$ORIG_IFS"
   )
diff -r da79ac67794b -r 08d9243bfaf1 bin/isabelle-process
--- a/bin/isabelle-process	Tue Dec 02 14:29:12 2008 +0100
+++ b/bin/isabelle-process	Tue Dec 02 17:50:39 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Markus Wenzel, TU Muenchen
 #
 # Isabelle process startup script.