1.1 --- a/build Wed Sep 21 21:00:57 2005 +0200
1.2 +++ b/build Wed Sep 21 21:01:27 2005 +0200
1.3 @@ -119,6 +119,7 @@
1.4 echo " ML_PLATFORM=$ML_PLATFORM"
1.5 echo
1.6 echo " ISABELLE_USEDIR_OPTIONS=$ISABELLE_USEDIR_OPTIONS"
1.7 + echo " HOL_USEDIR_OPTIONS=$HOL_USEDIR_OPTIONS"
1.8 fi
1.9
1.10