# 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.