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 |