[Ur] PATCH: add inlineScript directive

Adam Chlipala adamc at impredicative.com
Sat Sep 3 14:31:07 EDT 2011


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.



More information about the Ur mailing list