<div dir="ltr">I actually have a commit that I apparently only pushed to my local copy of the repository (it's accessible at <a href="http://web.mit.edu/~phurst/hg/bootstrap/">http://web.mit.edu/~phurst/hg/bootstrap/</a> 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.</div>

<div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, May 26, 2014 at 9:55 AM, Adam Chlipala <span dir="ltr"><<a href="mailto:adamc@csail.mit.edu" target="_blank">adamc@csail.mit.edu</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="">On 05/25/2014 06:45 PM, David Snider wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
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.<br>
</blockquote>
<br></div>
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.<br>


</blockquote></div><br></div>