summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* blobSizeGravatar Adam Chlipala2009-04-26
* Blobs in CHANGELOGGravatar Adam Chlipala2009-04-26
* Handling nullable blobsGravatar Adam Chlipala2009-04-26
* Reading blobs from the databaseGravatar Adam Chlipala2009-04-26
* Returning a blob as page resultGravatar Adam Chlipala2009-04-26
* Add MIME type to fileGravatar Adam Chlipala2009-04-25
* Only allow single-file upload per controlGravatar Adam Chlipala2009-04-25
* Prepared statements with blobsGravatar Adam Chlipala2009-04-25
* Initial support for blobs and uploadGravatar Adam Chlipala2009-04-25
* Cookie signatures for RPCsGravatar Adam Chlipala2009-04-23
* Only use cookie signatures when cookies might be readGravatar Adam Chlipala2009-04-23
* Cookie signing working for formsGravatar Adam Chlipala2009-04-16
* Add more buttons to demo, to avoid effectful GETGravatar Adam Chlipala2009-04-16
* Effectness analysisGravatar Adam Chlipala2009-04-16
* Label exported symbols by effect-ness; factor out some common datatypesGravatar Adam Chlipala2009-04-16
* POST supportGravatar Adam Chlipala2009-04-16
* Some client-side error handlingGravatar Adam Chlipala2009-04-16
* Avoid thread death via message receiveGravatar Adam Chlipala2009-04-16
* Show XMLGravatar Adam Chlipala2009-04-16
* onErrorGravatar Adam Chlipala2009-04-16
* Catching duplicate cookie and style pathsGravatar Adam Chlipala2009-04-16
* <link>Gravatar Adam Chlipala2009-04-16
* Simplify type class requirement for tree demoGravatar Adam Chlipala2009-04-13
* Tiny increment to style testGravatar Adam Chlipala2009-04-12
* Classes as optional arguments to Basis.tagGravatar Adam Chlipala2009-04-12
* Stop tracking CSS classes in XML typesGravatar Adam Chlipala2009-04-12
* hello compiles with CSSGravatar Adam Chlipala2009-04-12
* style declarationsGravatar Adam Chlipala2009-04-12
* URLsGravatar Adam Chlipala2009-04-09
* Update CHANGELOGGravatar Adam Chlipala2009-04-09
* Use FOREIGN KEY in Tree demoGravatar Adam Chlipala2009-04-09
* CHECK constraintsGravatar Adam Chlipala2009-04-09
* Retry failed record summary unifications at the end, in hopes that more has b...Gravatar Adam Chlipala2009-04-09
* More flexible foreign keyingGravatar Adam Chlipala2009-04-09
* Made type class system very general; demo compilesGravatar Adam Chlipala2009-04-09
* Get demo type-inferring againGravatar Adam Chlipala2009-04-07
* FOREIGN KEY, without ability to link NULL to NOT NULL (and with some lingerin...Gravatar Adam Chlipala2009-04-07
* Add primary keys to demoGravatar Adam Chlipala2009-04-07
* PRIMARY KEYGravatar Adam Chlipala2009-04-07
* Enhance table sig item support and get demo compiling againGravatar Adam Chlipala2009-04-07
* Track uniqueness sets in table typesGravatar Adam Chlipala2009-04-07
* UNIQUE constraintsGravatar Adam Chlipala2009-04-07
* Fixing some regressions and other bugsGravatar Adam Chlipala2009-04-05
* CHANGELOG before releaseGravatar Adam Chlipala2009-04-05
* Update the manualGravatar Adam Chlipala2009-04-05
* Initialize contexts a little more vigorouslyGravatar Adam Chlipala2009-04-05
* Chat demoGravatar Adam Chlipala2009-04-05
* RoundTrip demoGravatar Adam Chlipala2009-04-05
* Threads demoGravatar Adam Chlipala2009-04-05
* Avoid generating empty <script> blocksGravatar Adam Chlipala2009-04-05