[Ur] Bootstrap 3 Library

Adam Chlipala adamc at csail.mit.edu
Sun May 11 19:21:32 EDT 2014


On 05/10/2014 04:20 PM, David Snider wrote:
> Has anybody made any significant progress on this? If so let me know because I’m planning on creating a library for it soon.
>    

Oh, sorry; I hadn't realized I forgot to push some changes to the public 
repository.  You should now find a Bootstrap 3-ready library at:
     http://hg.impredicative.com/bootstrap



More information about the Ur mailing list