| Thu, 01 Aug 2013 22:19:32 +0200 | wenzelm | more explicit read-only non-TTY mode; | changeset | files |
| Thu, 01 Aug 2013 22:05:49 +0200 | wenzelm | clarified options; | changeset | files |
| Thu, 01 Aug 2013 21:56:43 +0200 | wenzelm | specific startup script for Poly/ML 5.5.1, taking advantage of some of its new options; | changeset | files |
| Thu, 01 Aug 2013 21:09:28 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 01 Aug 2013 20:45:49 +0200 | wenzelm | test recent polyml-svn, which is becoming polyml-5.5.1; | changeset | files |
| Thu, 01 Aug 2013 22:37:04 +0200 | blanchet | minor doc fixes | changeset | files |