Thank you Adam. Your hunch fixed it
(While I was downloading boostrap3 from hg (at 4am :-), I had mistyped a filename extension, and both boostrap3.urp would up getting overwritten by boostrap3.ur.)
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
