log lib/basis.urs

age author description
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, 07 Sep 2008 12:15:46 -0400 Adam Chlipala Error-parsing ints
Sun, 07 Sep 2008 11:53:30 -0400 Adam Chlipala 'read' type class
Sun, 07 Sep 2008 11:41:04 -0400 Adam Chlipala Parsing strings for floats and bools