log lib/ur/basis.urs

age author description
Thu, 05 Dec 2013 11:36:06 -0500 Patrick Hurst Add basic year/month/day/hour/minute/second <-> time functions.
Mon, 07 Oct 2013 14:08:10 +0400 Sergey Mironov Add show instance for 'id' type
Mon, 09 Dec 2013 15:47:14 -0500 Adam Chlipala Rename <activeHead> to <script> and make it work properly