# HG changeset patch # User Adam Chlipala # Date 1366555640 14400 # Node ID c2f8589802617efae2101152dabe4fa0c94f2449 # Parent 823a20e22c5c408f642a716355de4744d700355e Update ofr new Ur/Web version diff -r 823a20e22c5c -r c2f858980261 bootstrap.ur --- a/bootstrap.ur Sun May 13 14:14:00 2012 -0400 +++ b/bootstrap.ur Sun Apr 21 10:47:20 2013 -0400 @@ -1,6 +1,6 @@ style container style hero_unit -style tabl +style table_ style table_striped style well style form_inline diff -r 823a20e22c5c -r c2f858980261 lib.urp --- a/lib.urp Sun May 13 14:14:00 2012 -0400 +++ b/lib.urp Sun Apr 21 10:47:20 2013 -0400 @@ -1,4 +1,4 @@ -rewrite style Bootstrap/tabl table +rewrite style Bootstrap/table_ table rewrite style Bootstrap/* [-] bootstrap