log lib/basis.urs

age author description
2008-10-21 Adam Chlipala ord_float and ord_bool
2008-10-21 Adam Chlipala lt, le working for int
2008-10-21 Adam Chlipala num_float
2008-10-21 Adam Chlipala num working for int
2008-10-14 Adam Chlipala lform -> form
2008-10-12 Adam Chlipala Basis and Top syntax-highlight, indent, parse, and type-check
2008-10-12 Adam Chlipala Basis indents and type-checks with new twiddle syntax
2008-10-04 Adam Chlipala Use checkbox in CRUD example
2008-10-04 Adam Chlipala Merge CDisjoint and TDisjoint
2008-09-14 Adam Chlipala Crud completed
2008-09-14 Adam Chlipala Crud update form
2008-09-14 Adam Chlipala Crud supports INSERT
2008-09-14 Adam Chlipala SQL sequences
2008-09-13 Adam Chlipala foldTRX2
2008-09-11 Adam Chlipala Crud list works
2008-09-11 Adam Chlipala Crud listing IDs
2008-09-07 Adam Chlipala Scratch that change....
2008-09-07 Adam Chlipala Remove need to mention table name in expressions for UPDATE and DELETE
2008-09-07 Adam Chlipala Parsing UPDATE
2008-09-07 Adam Chlipala Parsing INSERT
2008-09-07 Adam Chlipala Elaborated 'update'
2008-09-07 Adam Chlipala Elaborated 'insert'
2008-09-07 Adam Chlipala Error-parsing ints
2008-09-07 Adam Chlipala 'read' type class
2008-09-07 Adam Chlipala Parsing strings for floats and bools
2008-09-07 Adam Chlipala Converting string to int
2008-09-07 Adam Chlipala 'show' type class; htmlification optimizations
2008-09-07 Adam Chlipala toString for float and bool
2008-09-07 Adam Chlipala intToString
2008-09-07 Adam Chlipala 'error' function
2008-09-02 Adam Chlipala Compiling a parametrized query the inefficient way
2008-08-31 Adam Chlipala Monoize ASC/DESC
2008-08-31 Adam Chlipala Monoize relops
2008-08-31 Adam Chlipala Add 'ne' to 'eq' type class
2008-08-31 Adam Chlipala 'eq' type class
2008-08-31 Adam Chlipala Monoized a WHERE clause with a comparison
2008-08-31 Adam Chlipala Monoized and optimized initial query test
2008-08-31 Adam Chlipala Monoize transaction identifiers; improve disjointness prover on irreducible folds; change 'query' type
2008-08-31 Adam Chlipala Laconic -> Ur base lib/basis.lig@4fadbb57b5e0