It's compiling, however I'm now getting "Not Found" on my pages. JP
On Nov 20, 2011, at 6:34 PM, Adam Chlipala wrote: > James Parker wrote: >> I believe the urweb compiler may be parsing my .urp file improperly. > > That was definitely undesirable behavior. I just pushed a fix to the public > repo. > > _______________________________________________ > Ur mailing list > [email protected] > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
