Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Extra checks on assumptions about SQL results | Adam Chlipala | 2009-04-26 | |
| | ||||
* | sql_ufunc and octet_length | Adam Chlipala | 2009-04-26 | |
| | ||||
* | blobSize | Adam Chlipala | 2009-04-26 | |
| | ||||
* | Blobs in CHANGELOG | Adam Chlipala | 2009-04-26 | |
| | ||||
* | Handling nullable blobs | Adam Chlipala | 2009-04-26 | |
| | ||||
* | Reading blobs from the database | Adam Chlipala | 2009-04-26 | |
| | ||||
* | Returning a blob as page result | Adam Chlipala | 2009-04-26 | |
| | ||||
* | Add MIME type to file | Adam Chlipala | 2009-04-25 | |
| | ||||
* | Only allow single-file upload per control | Adam Chlipala | 2009-04-25 | |
| | ||||
* | Prepared statements with blobs | Adam Chlipala | 2009-04-25 | |
| | ||||
* | Initial support for blobs and upload | Adam Chlipala | 2009-04-25 | |
| | ||||
* | Cookie signatures for RPCs | Adam Chlipala | 2009-04-23 | |
| | ||||
* | Only use cookie signatures when cookies might be read | Adam Chlipala | 2009-04-23 | |
| | ||||
* | Cookie signing working for forms | Adam Chlipala | 2009-04-16 | |
| | ||||
* | Add more buttons to demo, to avoid effectful GET | Adam Chlipala | 2009-04-16 | |
| | ||||
* | Effectness analysis | Adam Chlipala | 2009-04-16 | |
| | ||||
* | Label exported symbols by effect-ness; factor out some common datatypes | Adam Chlipala | 2009-04-16 | |
| | ||||
* | POST support | Adam Chlipala | 2009-04-16 | |
| | ||||
* | Some client-side error handling | Adam Chlipala | 2009-04-16 | |
| | ||||
* | Avoid thread death via message receive | Adam Chlipala | 2009-04-16 | |
| | ||||
* | Show XML | Adam Chlipala | 2009-04-16 | |
| | ||||
* | onError | Adam Chlipala | 2009-04-16 | |
| | ||||
* | Catching duplicate cookie and style paths | Adam Chlipala | 2009-04-16 | |
| | ||||
* | <link> | Adam Chlipala | 2009-04-16 | |
| | ||||
* | Simplify type class requirement for tree demo | Adam Chlipala | 2009-04-13 | |
| | ||||
* | Tiny increment to style test | Adam Chlipala | 2009-04-12 | |
| | ||||
* | Classes as optional arguments to Basis.tag | Adam Chlipala | 2009-04-12 | |
| | ||||
* | Stop tracking CSS classes in XML types | Adam Chlipala | 2009-04-12 | |
| | ||||
* | hello compiles with CSS | Adam Chlipala | 2009-04-12 | |
| | ||||
* | style declarations | Adam Chlipala | 2009-04-12 | |
| | ||||
* | URLs | Adam Chlipala | 2009-04-09 | |
| | ||||
* | Update CHANGELOG | Adam Chlipala | 2009-04-09 | |
| | ||||
* | Use FOREIGN KEY in Tree demo | Adam Chlipala | 2009-04-09 | |
| | ||||
* | CHECK constraints | Adam Chlipala | 2009-04-09 | |
| | ||||
* | Retry failed record summary unifications at the end, in hopes that more has ↵ | Adam Chlipala | 2009-04-09 | |
| | | | | been learned | |||
* | More flexible foreign keying | Adam Chlipala | 2009-04-09 | |
| | ||||
* | Made type class system very general; demo compiles | Adam Chlipala | 2009-04-09 | |
| | ||||
* | Get demo type-inferring again | Adam Chlipala | 2009-04-07 | |
| | ||||
* | FOREIGN KEY, without ability to link NULL to NOT NULL (and with some ↵ | Adam Chlipala | 2009-04-07 | |
| | | | | lingering problems in row inference) | |||
* | Add primary keys to demo | Adam Chlipala | 2009-04-07 | |
| | ||||
* | PRIMARY KEY | Adam Chlipala | 2009-04-07 | |
| | ||||
* | Enhance table sig item support and get demo compiling again | Adam Chlipala | 2009-04-07 | |
| | ||||
* | Track uniqueness sets in table types | Adam Chlipala | 2009-04-07 | |
| | ||||
* | UNIQUE constraints | Adam Chlipala | 2009-04-07 | |
| | ||||
* | Fixing some regressions and other bugs | Adam Chlipala | 2009-04-05 | |
| | ||||
* | CHANGELOG before release | Adam Chlipala | 2009-04-05 | |
| | ||||
* | Update the manual | Adam Chlipala | 2009-04-05 | |
| | ||||
* | Initialize contexts a little more vigorously | Adam Chlipala | 2009-04-05 | |
| | ||||
* | Chat demo | Adam Chlipala | 2009-04-05 | |
| | ||||
* | RoundTrip demo | Adam Chlipala | 2009-04-05 | |
| |