[Ur] maybe I missed something regarding .urp files

[Vasili I. Galchin]

Hello,

     I think a lot of my misunderstanding has to do with the syntax
surrounding .urp files. If there is no formal definition of the
syntax/semantics of the .urp files then all is bad, Are we totally relying
on examples from "demo" directory?


Very kind regards,

Bill
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20110723/481142a0/attachment.html>