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
