[Ur] Unrecognized command 'style' (when trying to compile UPO, after adding bootstrap3 to /usr/local/lib/urweb/ur/)

[Adam Chlipala]

It sure looks like the compiler winds up reading bootstrap3.ur where it 
expects bootstrap3.urp.  I don't have time to investigate further now, 
but perhaps this hint can help you diagnose the problem.

On 07/16/2015 02:43 AM, Stefan Scott Alexander wrote:
> Yeah, I just confirmed: the error messages are definitely during the 
> parsing of this file:
>
> /usr/local/lib/urweb/ur/bootstrap/bootstrap3.ur
>
> The compiler prints the following line, 570 times:
>
> Unrecognized command 'style'
>
> And the file bootstrap3.ur contains 570 lines, each starting with 
> 'style ...', eg:
>
> style bs3_active
>
> Any idea why this is happening?