Wed, 02 Jan 2008 21:03:49 +0100 | wenzelm | setting -H 2000 and no documents for higher performance; | file | diff | annotate |
Thu, 27 Dec 2007 12:11:01 +0100 | wenzelm | use polyml-cvs, the 5.2 development branch; | file | diff | annotate |
Wed, 05 Dec 2007 04:29:27 +0100 | kleing | make mac-poly non-experimental | file | diff | annotate |