Hi,It appears that no file API exists, except for the existence of a few real web related operations in basis.urs.
Are there any plans for implementing readFile, writeFile, appendFile, etc.? -- Best regards, Ron de Bruijn _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
