--- a/src/Pure/mk Thu Jan 04 21:37:02 2007 +0100 +++ b/src/Pure/mk Thu Jan 04 21:58:46 2007 +0100 @@ -96,7 +96,7 @@ RC="$?" elif [ -n "$RAW_SESSION" ]; then ITEM="RAW-$(basename $(dirname "$RAW_SESSION"))" - echo "Building $ITEM ..." + echo "Running $ITEM ..." LOG="$LOGDIR/$ITEM" "$ISABELLE" \