--- a/build Wed Apr 20 14:18:33 2005 +0200
+++ b/build Wed Apr 20 16:03:17 2005 +0200
@@ -112,6 +112,8 @@
echo " ML_HOME=$ML_HOME"
echo " ML_OPTIONS=$ML_OPTIONS"
echo " ML_PLATFORM=$ML_PLATFORM"
+ echo " ISABELLE_INTERFACE=$ISABELLE_INTERFACE"
+ echo "ISABELLE_OUTPUT=$ISABELLE_OUTPUT"
echo
echo " ISABELLE_USEDIR_OPTIONS=$ISABELLE_USEDIR_OPTIONS"
fi
@@ -154,6 +156,7 @@
echo "ML_HOME=$ML_HOME"
echo "ML_OPTIONS=$ML_OPTIONS"
echo "ML_PLATFORM=$ML_PLATFORM"
+ echo "ISABELLE_OUTPUT=$ISABELLE_OUTPUT"
echo
echo "ISABELLE_USEDIR_OPTIONS=$ISABELLE_USEDIR_OPTIONS"
echo