[Ur] Bootstrap 3 library patch

[Adam Chlipala]

I've pushed Patrick's additions to the public repo.  David, it's a 
slightly different naming convention than yours, but it should serve the 
same purpose.  Let me know if some further compensating changes are 
needed to add functionality that you added in a different way.

On 05/26/2014 02:07 PM, Patrick Hurst wrote:
> I actually have a commit that I apparently only pushed to my local 
> copy of the repository (it's accessible at 
> http://web.mit.edu/~phurst/hg/bootstrap/ 
> <http://web.mit.edu/%7Ephurst/hg/bootstrap/> or the corresponding 
> Athena AFS path) that splits out Bootstrap 2 and Bootstrap 3 into 
> separate files; in Bootstrap 3 (the one I've been using), the 
> convention I used is to prefix conflicting names with bs3 (so bs3-h1, 
> bs3-h2, etc.). I personally think the benefit of not having to play 
> renaming games with the tag names is worth the small downside of not 
> being able to directly copy-paste code in, since any errors will show 
> up at compile time.
>
>
> On Mon, May 26, 2014 at 9:55 AM, Adam Chlipala <adamc at csail.mit.edu 
> <mailto:adamc at csail.mit.edu>> wrote:
>
>     On 05/25/2014 06:45 PM, David Snider wrote:
>
>         Some of the style names were conflicting with basis tag names.
>         There might be more but I fixed the ones I found. Attached is
>         a patch.
>
>
>     I believe Patrick Hurst, the author of that code, was aware of
>     that problem, so I'd like to hear from him first, about what he
>     thinks of this patch.  One downside is that off-the-shelf HTML
>     code using normal Bootstrap wouldn't be usable directly.
>
>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20140528/c8e5743d/attachment.html>