log lib/ur/basis.urs

age author description
Sun, 07 Jun 2009 16:45:00 -0400 Adam Chlipala Fix datatype import bug in Elaborate; fix server-side source setting; more standard library stuff
Sun, 07 Jun 2009 11:13:18 -0400 Adam Chlipala Start of Option; Basis.current; fix missed cases in Jscomp.isNullable
Sun, 31 May 2009 12:41:34 -0400 Adam Chlipala strcspn and friends
Sat, 30 May 2009 13:29:00 -0400 Adam Chlipala Substring functions; fix a nasty MonoReduce pattern match substitution bug
Sat, 30 May 2009 09:59:10 -0400 Adam Chlipala String.length
Tue, 26 May 2009 12:25:06 -0400 Adam Chlipala Chars and more string operations
Thu, 21 May 2009 10:34:56 -0400 Adam Chlipala ccheckbox
Thu, 14 May 2009 11:04:56 -0400 Adam Chlipala cselect.onchange
Thu, 14 May 2009 09:33:48 -0400 Adam Chlipala cselect
Sun, 03 May 2009 14:57:33 -0400 Adam Chlipala outer demo
Sun, 03 May 2009 12:36:25 -0400 Adam Chlipala css demo
Sat, 02 May 2009 18:20:15 -0400 Adam Chlipala Runtime URL and MIME type filtering
Thu, 30 Apr 2009 14:48:23 -0400 Adam Chlipala <input type='hidden'>
Thu, 30 Apr 2009 14:43:55 -0400 Adam Chlipala Megaform test
Thu, 30 Apr 2009 11:48:56 -0400 Adam Chlipala Subforms type-checks; lists urlified and unurlified