[Ur] Parse errors

Adam Chlipala adamc at impredicative.com
Sun Nov 20 19:15:40 EST 2011


James Parker wrote:
> It's compiling, however I'm now getting "Not Found" on my pages.

Presumably you're using the wrong URLs.  See Section 10 of the manual 
for information on how URIs are chosen.  (I should add a backward 
reference there to the "prefix" and "rewrite url" commands, which can be 
used to modify the principal URIs.)



More information about the Ur mailing list