wenzelm [Thu, 01 Aug 2013 22:20:07 +0200] rev 53972
recode utf8 for ML, as done in feeder.pl;
wenzelm [Thu, 01 Aug 2013 22:19:32 +0200] rev 53971
more explicit read-only non-TTY mode;
wenzelm [Thu, 01 Aug 2013 22:05:49 +0200] rev 53970
clarified options;
wenzelm [Thu, 01 Aug 2013 21:56:43 +0200] rev 53969
specific startup script for Poly/ML 5.5.1, taking advantage of some of its new options;
wenzelm [Thu, 01 Aug 2013 21:09:28 +0200] rev 53968
tuned;
wenzelm [Thu, 01 Aug 2013 20:45:49 +0200] rev 53967
test recent polyml-svn, which is becoming polyml-5.5.1;
blanchet [Thu, 01 Aug 2013 22:37:04 +0200] rev 53966
minor doc fixes
blanchet [Thu, 01 Aug 2013 22:28:49 +0200] rev 53965
more (co)datatype docs
blanchet [Thu, 01 Aug 2013 18:13:31 +0200] rev 53964
more (co)datatype documentation
kleing [Thu, 01 Aug 2013 16:53:03 +0200] rev 53963
merged