log src/monoize.sml

age author description
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