lib/scripts/run-polyml-5.5.1
Thu, 01 Aug 2013 22:05:49 +0200 wenzelm clarified options;
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;
less more (0) tip