[Ur] Notes regarding Grid1 demo

[Adam Chlipala]

Thanks for the notes!

On 12/23/2014 10:15 PM, Stefan Scott Alexander wrote:
> Below are some notes which may be helpful when running the Grid1 demo, 
> found here:
>
> http://www.impredicative.com/ur/more/
>
> (1) There are three necessary files which are not mentioned on the 
> above demo page:
>
> grid.urp
> grid.urs
> grid.ur
>
> You can the latest version of these files by cloning UrWeb's Mercurial 
> repository here:
>
> http://hg.impredicative.com/urweb

FWIW, the page for this demo /does/ include links to grid.urs and 
grid.ur.  I see now that grid.urp /isn't/ linked, so thanks for pointing 
that out.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20141224/87128f89/attachment.html>