1.1 --- a/etc/settings	Thu Jun 04 19:15:57 2009 +0200
     1.2 +++ b/etc/settings	Thu Jun 04 22:01:54 2009 +0200
     1.3 @@ -27,7 +27,7 @@
     1.4    $POLY_HOME)
     1.5  ML_SYSTEM=$("$ISABELLE_HOME/lib/scripts/polyml-version")
     1.6  ML_OPTIONS="-H 200"
     1.7 -ML_DBASE=""
     1.8 +ML_SOURCES="$ML_HOME/../src"
     1.9  
    1.10  # Poly/ML 5.2.1
    1.11  #ML_PLATFORM=x86-linux