log lib/ur/basis.urs

age author description
Sun, 01 Nov 2015 11:55:01 -0500 Adam Chlipala Basis.fromMilliseconds
Thu, 07 May 2015 16:12:06 -0400 Julian Squires Add onChange handler to radioOption