# HG changeset patch
# User wenzelm
# Date 860173715 -7200
# Node ID 01d24f98528f61491d69da21b1402488d9b02eeb
# Parent  ce271fa4d8e25467a594f8871e6a375ea715e86e
improved messages;

diff -r ce271fa4d8e2 -r 01d24f98528f build
--- a/build	Fri Apr 04 19:07:54 1997 +0200
+++ b/build	Fri Apr 04 19:08:35 1997 +0200
@@ -124,8 +124,8 @@
   read
 else
   echo
-  echo -n "Isabelle build started at "; date
-  echo "logics:" $LOGICS
+  echo "Isabelle build:" $LOGICS
+  echo
   echo "ML_SYSTEM=$ML_SYSTEM"
   echo "ML_HOME=$ML_HOME"
   echo "ML_OPTIONS=$ML_OPTIONS"
@@ -135,6 +135,10 @@
 
 # build it
 
+echo
+echo -n "Started at "; date
+echo
+
 export THIS_IS_ISABELLE_BUILD=true
 
 for L in $LOGICS
@@ -142,7 +146,6 @@
   ( cd $ISABELLE_HOME/src/$L; $ISATOOL make )
 done
 
-if [ -n "$BATCH" ]; then
-  echo
-  echo -n "Isabelle build finished at "; date
-fi
+echo
+echo -n "Finished at "; date
+echo