--- a/src/Pure/mk Wed Apr 20 14:18:33 2005 +0200
+++ b/src/Pure/mk Wed Apr 20 16:03:17 2005 +0200
@@ -87,6 +87,9 @@
if [ -z "$RAW" ]; then
ITEM="Pure"
echo "Building $ITEM ..."
+
+ echo "raw is $RAW item is $ITEM isabelle is $ISABELLE"
+
LOG="$LOGDIR/$ITEM"
"$ISABELLE" $COPY \