Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
some shuffling of isatest settings, to ensure coverage of polyml-5.2.1, polyml-5.3.0, polyml-5.4.0, polyml-5.4.1 (SVN), smlnj/110.72;
authorwenzelm
Tue, 08 Feb 2011 19:53:35 +0100
changeset 41730 14ed42540d22
parent 41729 ae1a46cdb9cb
child 41731 2fb760843e17
some shuffling of isatest settings, to ensure coverage of polyml-5.2.1, polyml-5.3.0, polyml-5.4.0, polyml-5.4.1 (SVN), smlnj/110.72;
Admin/isatest/settings/at-poly-test file | annotate | diff | comparison | revisions
Admin/isatest/settings/at-sml-dev-e file | annotate | diff | comparison | revisions
Admin/isatest/settings/at64-poly file | annotate | diff | comparison | revisions 
--- a/Admin/isatest/settings/at-poly-test	Tue Feb 08 17:44:53 2011 +0100
+++ b/Admin/isatest/settings/at-poly-test	Tue Feb 08 19:53:35 2011 +0100
@@ -1,7 +1,7 @@
 # -*- shell-script -*- :mode=shellscript:
 
   POLYML_HOME="/home/polyml/polyml-svn"
-  ML_SYSTEM="polyml-5.3.0"
+  ML_SYSTEM="polyml-5.4.1"
   ML_PLATFORM="x86-linux"
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
   ML_OPTIONS="-H 500"
--- a/Admin/isatest/settings/at-sml-dev-e	Tue Feb 08 17:44:53 2011 +0100
+++ b/Admin/isatest/settings/at-sml-dev-e	Tue Feb 08 19:53:35 2011 +0100
@@ -2,7 +2,7 @@
 
 # Standard ML of New Jersey 110 or later
 ML_SYSTEM=smlnj
-ML_HOME="/home/smlnj/110.67/bin"
+ML_HOME="/home/smlnj/110.72/bin"
 ML_OPTIONS="@SMLdebug=/dev/null @SMLalloc=256"
 ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")
 
--- a/Admin/isatest/settings/at64-poly	Tue Feb 08 17:44:53 2011 +0100
+++ b/Admin/isatest/settings/at64-poly	Tue Feb 08 19:53:35 2011 +0100
@@ -1,7 +1,7 @@
 # -*- shell-script -*- :mode=shellscript:
 
-  POLYML_HOME="/home/polyml/polyml-5.3.0"
-  ML_SYSTEM="polyml-5.3.0"
+  POLYML_HOME="/home/polyml/polyml-5.2.1"
+  ML_SYSTEM="polyml-5.2.1"
   ML_PLATFORM="x86_64-linux"
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
   ML_OPTIONS="-H 1000"
isabelle