lib/scripts/run-mosml
Fri, 15 Sep 2000 16:31:36 +0200 wenzelm unexport exports;
Fri, 01 Sep 2000 19:42:11 +0200 wenzelm fixed quoting;
Fri, 01 Sep 2000 17:54:58 +0200 wenzelm GPLed;
Thu, 06 Jul 2000 00:09:12 +0200 wenzelm run Moscow ML 2.00 --- does not handle saved images (yet!?);
less more (0) tip