log src/monoize.sml

age author description
Sat, 03 Dec 2011 09:44:07 -0500 Adam Chlipala Catching integer divisions by zero
Wed, 23 Nov 2011 13:17:40 -0430 Karn Kallio Add LIKE operator to SQL sublanguage.
Sat, 19 Nov 2011 10:43:57 -0500 Adam Chlipala COALESCE
Sat, 15 Oct 2011 09:04:41 -0400 Adam Chlipala For new IF, fix Monoize typing and add to manual
Fri, 14 Oct 2011 02:33:03 -0430 Karn Kallio IF THEN ELSE conditional for SQL.
Sat, 08 Oct 2011 17:23:58 -0400 Adam Chlipala Primitive int/float functions: ceil, float, round, trunc
Thu, 06 Oct 2011 09:50:40 -0400 Adam Chlipala Basis.null
Sat, 03 Sep 2011 12:51:05 -0400 Adam Chlipala An abstract type of IDs
Fri, 19 Aug 2011 15:23:01 -0400 Adam Chlipala Basis.mkMonad
Sun, 24 Jul 2011 10:51:48 -0400 Adam Chlipala <image>
Sun, 26 Jun 2011 19:45:21 -0400 Adam Chlipala Workaround for old IE handling of <option> with no 'value' attribute
Thu, 23 Jun 2011 08:44:03 -0400 Adam Chlipala 'show' instance for 'css_class'
Thu, 23 Jun 2011 00:01:52 -0430 Karn Kallio xtable monoize to string.
Mon, 30 May 2011 07:48:08 -0400 Adam Chlipala Remember to remove explicit table projections in SQLite UPDATE SET values
Sun, 29 May 2011 12:44:31 -0400 Adam Chlipala Properly handle form textboxes that have sources
Fri, 25 Feb 2011 11:27:16 -0500 Adam Chlipala sql_arith_option; 'ALL' for relational operators
Thu, 03 Feb 2011 21:04:12 -0500 Adam Chlipala Subqueries may always return NULL
Sun, 23 Jan 2011 15:49:35 -0500 Adam Chlipala Fix monoization of sql_relop (grandfathered into release!)
Sun, 23 Jan 2011 11:18:24 -0500 Adam Chlipala Allow CSS class specification for <form>
Sun, 16 Jan 2011 10:57:59 -0500 Adam Chlipala Fix for handling of some attributes to client-side input widgets, based on a patch from Vladimir Shabanov
Sat, 15 Jan 2011 14:53:13 -0500 Adam Chlipala Allow subqueries to reference aggregate-only columns of free tables; treat non-COUNT aggregate functions as possibly returning NULL
Mon, 27 Dec 2010 12:08:00 -0500 Adam Chlipala Fix time comparison operators; safer saving of queryStrings
Sun, 26 Dec 2010 17:29:03 -0500 Adam Chlipala queryString and effectfulUrl
Fri, 24 Dec 2010 18:08:29 -0500 Adam Chlipala Changed uw_Basis_time to store microseconds
Thu, 23 Dec 2010 17:46:40 -0500 Adam Chlipala [De]serialization of times in JavaScript; proper integer division in JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types
Tue, 21 Dec 2010 18:01:23 -0500 Adam Chlipala Basis.cdataChar
Tue, 21 Dec 2010 17:01:51 -0500 Adam Chlipala Allow SQL aggregation over nullable types
Tue, 07 Sep 2010 08:28:07 -0400 Adam Chlipala Server-side 'onError'
Sun, 05 Sep 2010 14:00:57 -0400 Adam Chlipala tryDml
Sun, 05 Sep 2010 12:50:06 -0400 Adam Chlipala Support multiple CSS classes for a single tag
Sun, 22 Aug 2010 19:45:07 -0400 Adam Chlipala Confirm boxes; proper event handler setting for ctags
Sat, 21 Aug 2010 10:58:13 -0400 Adam Chlipala Some post-type-checking support for polymorphic variants