| Mon, 16 Sep 2013 12:37:54 +0200 | wenzelm | prefer high-level ML_System.share_common_data, ML_System.save_state -- except for bootstrap images (RAW, Pure); | file | diff | annotate |
| Thu, 01 Aug 2013 22:20:07 +0200 | wenzelm | recode utf8 for ML, as done in feeder.pl; | file | diff | annotate |
| Thu, 01 Aug 2013 22:05:49 +0200 | wenzelm | clarified options; | file | diff | annotate |
| 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; | file | diff | annotate |