lib/scripts/run-mosml
2008-12-20 wenzelm 2008-12-20 removed Ids;
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2000-11-30 wenzelm 2000-11-30 /usr/bin/env bash;
2000-09-28 wenzelm 2000-09-28 added COPYDB argument;
2000-09-15 wenzelm 2000-09-15 keep export of ISABELLE_TMP (!!!);
2000-09-15 wenzelm 2000-09-15 unexport exports;
2000-09-01 wenzelm 2000-09-01 fixed quoting;
2000-09-01 wenzelm 2000-09-01 GPLed; more robust handling of spaces in args / file names;
2000-07-06 wenzelm 2000-07-06 run Moscow ML 2.00 --- does not handle saved images (yet!?);