[Ur] Bootstrap 3 library patch

[Patrick Hurst]

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/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> 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/20140526/72b61f5b/attachment.html>