Mercurial > urweb

log src/urweb.grm

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) tip
age author description
Thu, 30 Apr 2009 15:10:13 -0400 Adam Chlipala List notations
Thu, 30 Apr 2009 11:48:56 -0400 Adam Chlipala Subforms type-checks; lists urlified and unurlified
Tue, 28 Apr 2009 17:26:53 -0400 Adam Chlipala Subforms
Tue, 28 Apr 2009 15:04:37 -0400 Adam Chlipala A view query works
Tue, 28 Apr 2009 11:14:24 -0400 Adam Chlipala RIGHT and FULL JOIN
Tue, 28 Apr 2009 11:05:28 -0400 Adam Chlipala LEFT JOIN
Tue, 28 Apr 2009 10:11:56 -0400 Adam Chlipala INNER JOIN
Tue, 28 Apr 2009 09:45:17 -0400 Adam Chlipala Switch to using sql_from_items
Sun, 26 Apr 2009 12:35:45 -0400 Adam Chlipala sql_ufunc and octet_length
Thu, 16 Apr 2009 12:00:44 -0400 Adam Chlipala <link>
Sun, 12 Apr 2009 14:19:15 -0400 Adam Chlipala Classes as optional arguments to Basis.tag
Sun, 12 Apr 2009 12:31:54 -0400 Adam Chlipala Stop tracking CSS classes in XML types
Sun, 12 Apr 2009 11:08:00 -0400 Adam Chlipala hello compiles with CSS
Sun, 12 Apr 2009 10:08:11 -0400 Adam Chlipala style declarations
Thu, 09 Apr 2009 16:36:50 -0400 Adam Chlipala URLs
Thu, 09 Apr 2009 15:30:15 -0400 Adam Chlipala CHECK constraints
Thu, 09 Apr 2009 13:59:34 -0400 Adam Chlipala More flexible foreign keying
Thu, 09 Apr 2009 12:31:56 -0400 Adam Chlipala Made type class system very general; demo compiles
Tue, 07 Apr 2009 20:38:01 -0400 Adam Chlipala Get demo type-inferring again
Tue, 07 Apr 2009 18:47:47 -0400 Adam Chlipala FOREIGN KEY, without ability to link NULL to NOT NULL (and with some lingering problems in row inference)
Tue, 07 Apr 2009 16:14:31 -0400 Adam Chlipala PRIMARY KEY
Tue, 07 Apr 2009 15:04:07 -0400 Adam Chlipala Enhance table sig item support and get demo compiling again
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
Sat, 04 Apr 2009 15:56:47 -0400 Adam Chlipala sleep and better Scriptcheck
Thu, 26 Mar 2009 14:37:31 -0400 Adam Chlipala Type class reductions, but no inclusions yet
Tue, 24 Feb 2009 15:12:13 -0500 Adam Chlipala Demos compile again, with manual folders
Tue, 24 Feb 2009 13:46:08 -0500 Adam Chlipala Top.Fold.concat elaborates
Tue, 24 Feb 2009 12:01:24 -0500 Adam Chlipala Switch to TDisjoint from CDisjoint; still need to implement obligation generation at EDisjoint uses
Sun, 22 Feb 2009 16:10:25 -0500 Adam Chlipala Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top
Sat, 21 Feb 2009 15:33:20 -0500 Adam Chlipala "Hello world" compiles, after replacing type-level fold with map
Fri, 19 Dec 2008 10:03:31 -0500 Adam Chlipala Initial conversion to arbitrary-kind classes
Tue, 09 Dec 2008 14:41:19 -0500 Adam Chlipala Add SQL arithmetic operators
Sun, 07 Dec 2008 10:02:04 -0500 Adam Chlipala Finish documenting queries; remove a stray [unit] argument
Tue, 11 Nov 2008 19:20:37 -0500 Adam Chlipala Add CutMulti
Sat, 08 Nov 2008 13:15:00 -0500 Adam Chlipala Some small changes while failing to write [restrict]
Sat, 08 Nov 2008 10:33:58 -0500 Adam Chlipala Resolve all tag named in [Basis]; deal with C compilation failure without leaving /tmp files
Thu, 06 Nov 2008 19:43:48 -0500 Adam Chlipala Tree demo working (and other assorted regressions fixed)
Thu, 06 Nov 2008 18:49:38 -0500 Adam Chlipala Tree demo works
Thu, 06 Nov 2008 15:37:38 -0500 Adam Chlipala Inserted a NULL value
Thu, 06 Nov 2008 10:43:48 -0500 Adam Chlipala Cookies through explify
Thu, 06 Nov 2008 10:29:55 -0500 Adam Chlipala Cookies through elaborate
Sat, 01 Nov 2008 10:47:10 -0400 Adam Chlipala Parsing 'let'
Fri, 31 Oct 2008 09:30:22 -0400 Adam Chlipala Replace 'with' with '++'
Thu, 30 Oct 2008 15:33:28 -0400 Adam Chlipala CURRENT_TIMESTAMP
Mon, 27 Oct 2008 08:27:45 -0400 Adam Chlipala Remove need for '() <-' notation
Tue, 21 Oct 2008 16:41:11 -0400 Adam Chlipala New implicit argument handling
Tue, 21 Oct 2008 10:56:43 -0400 Adam Chlipala lt, le working for int
Tue, 21 Oct 2008 10:34:07 -0400 Adam Chlipala num working for int
Tue, 14 Oct 2008 16:41:48 -0400 Adam Chlipala lform -> form
Tue, 14 Oct 2008 16:37:43 -0400 Adam Chlipala Syntax highlighting for embedded XML
Sun, 12 Oct 2008 12:21:54 -0400 Adam Chlipala Basis and Top syntax-highlight, indent, parse, and type-check
Sun, 12 Oct 2008 11:44:43 -0400 Adam Chlipala Basis indents and type-checks with new twiddle syntax
Sat, 04 Oct 2008 15:50:28 -0400 Adam Chlipala Merge CDisjoint and TDisjoint
Sun, 14 Sep 2008 19:14:40 -0400 Adam Chlipala Crud completed
Sun, 14 Sep 2008 19:03:55 -0400 Adam Chlipala Crud update form
Sun, 14 Sep 2008 15:10:04 -0400 Adam Chlipala Crud supports INSERT
Sun, 14 Sep 2008 11:02:18 -0400 Adam Chlipala SQL sequences
Sat, 13 Sep 2008 10:30:45 -0400 Adam Chlipala foldTR2
Thu, 11 Sep 2008 17:41:52 -0400 Adam Chlipala Crud listing IDs
Sun, 07 Sep 2008 15:35:08 -0400 Adam Chlipala Automatically add table annotations in UPDATE and DELETE
Sun, 07 Sep 2008 14:38:14 -0400 Adam Chlipala Scratch that change....
Sun, 07 Sep 2008 14:30:32 -0400 Adam Chlipala Remove need to mention table name in expressions for UPDATE and DELETE
Sun, 07 Sep 2008 14:19:05 -0400 Adam Chlipala Parsing DELETE
Sun, 07 Sep 2008 14:15:16 -0400 Adam Chlipala Parsing UPDATE
Sun, 07 Sep 2008 14:07:10 -0400 Adam Chlipala Parsing INSERT
Sun, 07 Sep 2008 13:51:07 -0400 Adam Chlipala Elaborated 'update'
Sun, 07 Sep 2008 13:47:10 -0400 Adam Chlipala Elaborated 'insert'
Sun, 31 Aug 2008 16:54:13 -0400 Adam Chlipala Monoize ASC/DESC
Sun, 31 Aug 2008 15:18:00 -0400 Adam Chlipala Add 'ne' to 'eq' type class
Sun, 31 Aug 2008 15:15:41 -0400 Adam Chlipala 'eq' type class
Sun, 31 Aug 2008 08:32:18 -0400 Adam Chlipala Laconic -> Ur base src/lacweb.grm@f34b36e70e5c
less more | (0) tip