log

age author description
Mon, 17 Aug 2015 15:34:09 -0400 Adam Chlipala Add glyphicon-menu-*
Fri, 26 Dec 2014 08:00:54 -0500 Adam Chlipala More CSS classes
Wed, 24 Dec 2014 12:35:42 -0500 Adam Chlipala Add container-fluid
Wed, 28 May 2014 13:35:28 -0400 Adam Chlipala Shorten .urp code for rewriting class names
Wed, 28 May 2014 01:01:30 -0400 Patrick Hurst Add active and table.
Mon, 03 Mar 2014 01:27:28 -0500 Patrick Hurst More BS3 things: label and form-control.
Mon, 03 Mar 2014 01:26:56 -0500 Patrick Hurst Actually rewrite BS3 styles.
Sat, 01 Mar 2014 03:05:18 -0500 Patrick Hurst Prefix conflicting BS3 classes with bs3_.
Sat, 01 Mar 2014 02:56:17 -0500 Patrick Hurst Split into two libraries.
Tue, 18 Feb 2014 20:00:22 -0500 Patrick Hurst Add active style to Bootstrap 3.
Thu, 05 Dec 2013 16:49:06 -0500 Patrick Hurst Fix bootstrap/bootstrap3 conflicts.
Thu, 31 Oct 2013 07:45:23 -0400 Patrick Hurst Add Bootstrap 3.
Sun, 26 May 2013 11:54:34 -0400 David Snider Added a more comprehensive list of classes
Sun, 21 Apr 2013 10:47:20 -0400 Adam Chlipala Update ofr new Ur/Web version