David,I have started adding minor issues to the Sourceforge tracker, rather than bother the mailing list with mundane matters. I hope that is all right.
Phil _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
