| Sat, 11 Jun 2011 14:27:23 +0200 | wenzelm | reverted 5fcd0ca1f582 -- isatest provides its own libgmp3 via LD_LIBRARY_PATH, which are also required for swipl; | file | diff | annotate |
| Fri, 10 Jun 2011 14:59:30 +0200 | wenzelm | use existing ghc on macbroy20; | file | diff | annotate |
| Sun, 13 Mar 2011 21:41:44 +0100 | wenzelm | less ambitious isatest; | file | diff | annotate |
| Tue, 08 Feb 2011 19:53:35 +0100 | wenzelm | 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; | file | diff | annotate |
| Fri, 09 Apr 2010 11:35:50 +0200 | wenzelm | isatest: more uniform setup for Unix vs. Cygwin; | file | diff | annotate |
| Thu, 04 Mar 2010 22:48:50 +0100 | wenzelm | switch to polyml-svn; | file | diff | annotate |
| Sat, 27 Feb 2010 13:55:03 +0100 | wenzelm | added at-poly-test, which is intended for performance tests of Poly/ML itself; | file | diff | annotate |