log lib/ur/basis.urs

age author description
Mon, 09 Dec 2013 15:47:14 -0500 Adam Chlipala Rename <activeHead> to <script> and make it work properly
Fri, 06 Dec 2013 14:52:47 +0400 Sergey Mironov activeHead: don't modify the head. just execute the code provided
Fri, 06 Dec 2013 13:59:39 +0400 Sergey Mironov Add activeHead tag.
Mon, 07 Oct 2013 14:08:53 +0400 Sergey Mironov Add <dl> <dt> <dd> tags
Mon, 07 Oct 2013 14:07:31 +0400 Sergey Mironov Add xhead type
Mon, 07 Oct 2013 14:07:06 +0400 Sergey Mironov Add <em> and <strong> tags
Fri, 09 Aug 2013 16:13:44 -0400 Adam Chlipala Add 'rel' attribute to <a>