log src/expl_env.sml

age author description
Fri, 02 May 2014 19:19:09 -0400 Adam Chlipala New lessSafeFfi
Tue, 07 Sep 2010 08:28:07 -0400 Adam Chlipala Server-side 'onError'
Sun, 13 Jun 2010 14:13:06 -0400 Adam Chlipala Catch a missed ReduceLocal of field projection annotations
Sun, 04 Apr 2010 12:29:34 -0400 Adam Chlipala Pushing policies through
Tue, 15 Dec 2009 10:19:05 -0500 Adam Chlipala Convert to task syntax
Sun, 13 Dec 2009 14:20:41 -0500 Adam Chlipala Initializers and setval
Sat, 16 May 2009 15:22:05 -0400 Adam Chlipala Mutual datatypes through Corify
Tue, 28 Apr 2009 15:04:37 -0400 Adam Chlipala A view query works
Sun, 12 Apr 2009 12:31:54 -0400 Adam Chlipala Stop tracking CSS classes in XML types
Sun, 12 Apr 2009 10:08:11 -0400 Adam Chlipala style declarations
Tue, 07 Apr 2009 16:14:31 -0400 Adam Chlipala PRIMARY KEY
Tue, 07 Apr 2009 14:11:32 -0400 Adam Chlipala Track uniqueness sets in table types
Tue, 07 Apr 2009 12:24:31 -0400 Adam Chlipala UNIQUE constraints
Sun, 22 Feb 2009 16:32:56 -0500 Adam Chlipala Kind polymorphism through Explify
Thu, 06 Nov 2008 10:43:48 -0500 Adam Chlipala Cookies through explify
Sun, 14 Sep 2008 11:02:18 -0400 Adam Chlipala SQL sequences
Tue, 02 Sep 2008 14:40:57 -0400 Adam Chlipala Validating schema of a live database
Sun, 31 Aug 2008 08:46:22 -0400 Adam Chlipala Explify tables
Fri, 08 Aug 2008 10:28:32 -0400 Adam Chlipala Parametrized datatypes through explify
Tue, 29 Jul 2008 12:30:04 -0400 Adam Chlipala Add datatype import constructor annotations; datatypes through explify
Thu, 17 Jul 2008 10:13:18 -0400 Adam Chlipala Explifying (non-mutual) 'val rec'
Sun, 13 Jul 2008 10:17:06 -0400 Adam Chlipala Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
Thu, 10 Jul 2008 10:11:35 -0400 Adam Chlipala page declaration, up through monoize
Thu, 26 Jun 2008 08:54:49 -0400 Adam Chlipala Proper hiding of shadowed bindings in principal signatures
Sun, 22 Jun 2008 14:23:05 -0400 Adam Chlipala Separate compilation and automatic basis importation
Sun, 22 Jun 2008 09:27:29 -0400 Adam Chlipala Start of FFI
Thu, 19 Jun 2008 10:06:59 -0400 Adam Chlipala Explify