[Ur] Latest build does not work with demo

[Adam Chlipala]

Christopher Done wrote:
> I'm completely new to Ur, just trying out the demo instructions here:
> http://www.impredicative.com/ur/demo/
>
> With the latest build here: http://www.impredicative.com/ur/urweb-20120329.tgz
>
> But I apart from the -noEmacs option not being available (presumably
> removed and replaced with a -emacs option?), it fails to build the
> demo due to parse errors:
>
> http://hpaste.org/67324

This is suspicious.  Are you sure you're running the 'urweb' binary that 
you built from the latest release?  It all works for me.

Try running 'urweb' with no arguments to see the version number.  (If it 
doesn't print a version number, you have a version more than a few 
months old.)