[Ur] Bootstrap example in ur/Web

[Adam Chlipala]

UPO <http://upo.csail.mit.edu/> uses Bootstrap, but it's not a 
particularly elementary example. Really, you use Bootstrap in Ur/Web 
just like in regular HTML -- same syntax and everything, with a few 
exceptions for renamed classes to avoid namespace clashes.  You just 
need to include the library and put [open Bootstrap3] near the top of a 
.ur file.

On 03/04/2017 09:32 PM, Jeevjyot Singh Chhabda wrote:
> Greetings all,
>
> I am in the initial stage of learning ur/Web. I was wondering if I could explore ur/Web examples using the bootstrap library. Are there any resource where I can find the bootstrap examples, I would also to want take a look at project structure as well.
>
> Thanks,
>   
> -thanks,