log src/urweb.grm

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