> automatically. If there's a more up-to-date format I'm happy to change to > it. I don't know if anyone is parsing the current format automatically and > would be inconvenienced by a change.
Don't know about "up-to-date", since I use and work on "old-fashioned" software, but there's: https://www.gnu.org/prep/standards/html_node/Errors.html#Errors which is used by a wide variety of programs (e.g. TeX now supports this format as well). Stefan _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
