[Ur] Bootstrap 3 library patch

[Patrick Hurst]

Oh, weird, I guess Apache doesn't show dotfiles by default. There is in
fact a .hg subdirectory, so if you `hg clone http://web.mit.edu/~phurst/
hg/bootstrap/` in your terminal it'll work fine.


On Mon, May 26, 2014 at 4:18 PM, David Snider <david at davidsnider.net> wrote:

> 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
>>
>
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20140526/d2770413/attachment.html>