lib/scripts/run-polyml-5.5.1
2014-04-22 wenzelm 2014-04-22 more general exit;
2013-09-16 wenzelm 2013-09-16 prefer high-level ML_System.share_common_data, ML_System.save_state -- except for bootstrap images (RAW, Pure);
2013-08-01 wenzelm 2013-08-01 recode utf8 for ML, as done in feeder.pl;
2013-08-01 wenzelm 2013-08-01 clarified options;
2013-08-01 wenzelm 2013-08-01 specific startup script for Poly/ML 5.5.1, taking advantage of some of its new options;