log lib/ur/basis.urs

age author description
Sat, 10 May 2014 20:38:13 -0400 David Snider Added HTML5 Semantic Tags
Fri, 02 May 2014 15:32:10 -0400 Adam Chlipala HTML5 data-* attributes
Wed, 30 Apr 2014 13:05:54 -0400 Adam Chlipala <thead>, <tbody>, <tfoot>
Mon, 24 Feb 2014 09:10:31 +0000 Sergey Mironov Add <pre> tag support
Sat, 18 Jan 2014 18:26:24 -0500 Patrick Hurst Merge in upstream changes.
Thu, 05 Dec 2013 11:36:54 -0500 Patrick Hurst Day of week functions.
Thu, 05 Dec 2013 11:36:06 -0500 Patrick Hurst Add basic year/month/day/hour/minute/second <-> time functions.