[Ur] Bootstrap 3 library patch

[David Snider]

Thanks Patrick, but the directory you provided looks empty to me.

On 2014-05-26 14:07, 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/ [1] 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.
> 
> 
> 
> Links:
> ------
> [1] http://web.mit.edu/~phurst/hg/bootstrap/
> 
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur