log lib/ur/basis.urs

age author description
Sun, 13 Dec 2009 13:00:55 -0500 Adam Chlipala Weakening-type coercions for SQL values
Sun, 13 Dec 2009 11:28:47 -0500 Adam Chlipala Better record summary error messages; more tweaking SQL usability
Sun, 13 Dec 2009 10:13:06 -0500 Adam Chlipala Tweaking SQL parsing and typing
Sat, 12 Dec 2009 11:02:20 -0500 Adam Chlipala Checked-ness of radio options; Option.get
Thu, 10 Dec 2009 15:20:36 -0500 Adam Chlipala Basis.currentUrl, plus redirect debugging
Thu, 10 Dec 2009 13:32:09 -0500 Adam Chlipala Basis.url and redirects
Tue, 08 Dec 2009 10:46:50 -0500 Adam Chlipala Context globals; ctype functions
Thu, 26 Nov 2009 14:20:00 -0500 Adam Chlipala More fun with cookies
Wed, 25 Nov 2009 09:30:44 -0500 Adam Chlipala Add 'id' attributes and <label>
Sun, 01 Nov 2009 10:20:20 -0500 Adam Chlipala Bidding interface
Thu, 22 Oct 2009 16:15:56 -0400 Adam Chlipala Initial support for char in SQL
Thu, 22 Oct 2009 11:15:37 -0400 Adam Chlipala Checking deadline; sign-in
Tue, 20 Oct 2009 12:48:53 -0400 Adam Chlipala Start of user management
Tue, 06 Oct 2009 15:39:27 -0400 Adam Chlipala SELECT DISTINCT; eta expansion during Cjrization
Sat, 19 Sep 2009 13:32:33 -0400 Adam Chlipala Grid sorting working
Tue, 15 Sep 2009 12:23:42 -0400 Adam Chlipala Fixed a Mono_reduce bug, which was breaking selection enabling in Grid
Sat, 22 Aug 2009 12:55:18 -0400 Adam Chlipala Convert to requiring explicit 'rpc' marker
Sat, 18 Jul 2009 12:53:26 -0400 Adam Chlipala Key events get key code input
Sat, 18 Jul 2009 12:37:19 -0400 Adam Chlipala Testing new events
Sat, 18 Jul 2009 12:28:25 -0400 Adam Chlipala Goodbye <font>; hello <h5> and <h6>
Sat, 18 Jul 2009 11:58:54 -0400 Adam Chlipala Try to add all applicable JavaScript events
Sat, 13 Jun 2009 14:29:36 -0400 Adam Chlipala <dyn> inside <table>; fix Specialize bug with datatype decls generating other mutually-recursive datatype decls
Tue, 09 Jun 2009 18:11:59 -0400 Adam Chlipala Some standard library reorgs and additions; handle mutual datatypes better in Specialize
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