switched to polyml-cvs;
authorwenzelm
Thu Jan 24 12:02:44 2008 +0100 (2008-01-24)
changeset 259522152b47a87ed
parent 25951 6ebe26bfed18
child 25953 03937086b1fe
switched to polyml-cvs;
Admin/isatest/settings/at-poly-5.1-para-e
     1.1 --- a/Admin/isatest/settings/at-poly-5.1-para-e	Thu Jan 24 11:26:54 2008 +0100
     1.2 +++ b/Admin/isatest/settings/at-poly-5.1-para-e	Thu Jan 24 12:02:44 2008 +0100
     1.3 @@ -1,6 +1,6 @@
     1.4  # -*- shell-script -*-
     1.5  
     1.6 -  POLYML_HOME="/usr/proj/polyml/polyml-5.1"
     1.7 +  POLYML_HOME="/usr/proj/polyml/polyml-cvs"
     1.8    ML_SYSTEM="polyml-5.1"
     1.9    ML_PLATFORM="x86-linux"
    1.10    ML_HOME="$POLYML_HOME/$ML_PLATFORM"