Oh dear! If there are any references to ML_dbase around I really need to remove them. It applied in version 4 but that's long out of date.

David

On 19/12/2014 22:23, David Topham wrote:
I noticed several references to ML_dbase in the documentation (obviously I
am a new user!), but do not see that file anywhere after my (virgin) PolyML
version 5 installation. Is this file needed?  Is it created automatically?
What is it for?  -Dave
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml

Reply via email to