log src/monoize.sml

age author description
Mon, 02 Jan 2012 16:54:18 -0500 Adam Chlipala Adapt Monoize serialization to handle freshly created variant types
Sat, 31 Dec 2011 13:31:00 -0500 Adam Chlipala Error messages about applying 'dynClass' to tags that don't like it
Wed, 28 Dec 2011 18:05:27 -0500 Adam Chlipala Get a few more source files up-to-date with change to [tag] type
Tue, 27 Dec 2011 16:20:48 -0500 Adam Chlipala 'dynClass' pseudo-attribute
Sat, 17 Dec 2011 12:01:31 -0500 Adam Chlipala SQL lower() and upper() functions
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>