log lib/ur/basis.urs

age author description
2014-05-11 David Snider Added HTML5 Semantic Tags
2014-05-02 Adam Chlipala HTML5 data-* attributes
2014-04-30 Adam Chlipala <thead>, <tbody>, <tfoot>
2014-02-24 Sergey Mironov Add <pre> tag support
2014-01-18 Patrick Hurst Merge in upstream changes.
2013-12-05 Patrick Hurst Day of week functions.
2013-12-05 Patrick Hurst Add basic year/month/day/hour/minute/second <-> time functions.
2013-10-07 Sergey Mironov Add show instance for 'id' type
2013-12-09 Adam Chlipala Rename <activeHead> to <script> and make it work properly
2013-12-06 Sergey Mironov activeHead: don't modify the head. just execute the code provided
2013-12-06 Sergey Mironov Add activeHead tag.
2013-10-07 Sergey Mironov Add <dl> <dt> <dd> tags