1.1 --- a/build Tue Mar 11 13:05:11 1997 +0100 1.2 +++ b/build Tue Mar 11 13:05:40 1997 +0100 1.3 @@ -33,7 +33,7 @@ 1.4 1.5 ## build it 1.6 1.7 -# FIXME isatool makelogics 1.8 +export THIS_IS_ISABELLE_BUILD=true 1.9 1.10 for DIR in $LOGICS 1.11 do