austin seipp wrote:
Also: this patch adds documentation to the manual for inlineScript, as well as -dumpTypes and -version since they've been left out. :)
Thanks! I'll digest the patch at length later. Right now, I just wanted to point out that "-dumpTypes" was already documented.
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
