summaryrefslogtreecommitdiff
path: root/src/monoize.sml
Commit message (Expand)AuthorAge
* <input type='hidden'>Gravatar Adam Chlipala2009-04-30
* Subforms type-checks; lists urlified and unurlifiedGravatar Adam Chlipala2009-04-30
* Basis.listGravatar Adam Chlipala2009-04-30
* SubformsGravatar Adam Chlipala2009-04-28
* A view query worksGravatar Adam Chlipala2009-04-28
* Preparing to allow views in SELECT FROM clausesGravatar Adam Chlipala2009-04-28
* RIGHT and FULL JOINGravatar Adam Chlipala2009-04-28
* LEFT JOINGravatar Adam Chlipala2009-04-28
* INNER JOINGravatar Adam Chlipala2009-04-28
* Switch to using sql_from_itemsGravatar Adam Chlipala2009-04-28
* sql_ufunc and octet_lengthGravatar Adam Chlipala2009-04-26
* Returning a blob as page resultGravatar Adam Chlipala2009-04-26
* 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
* POST supportGravatar Adam Chlipala2009-04-16
* Show XMLGravatar Adam Chlipala2009-04-16
* Catching duplicate cookie and style pathsGravatar Adam Chlipala2009-04-16
* <link>Gravatar Adam Chlipala2009-04-16
* 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
* CHECK constraintsGravatar Adam Chlipala2009-04-09
* More flexible foreign keyingGravatar Adam Chlipala2009-04-09
* FOREIGN KEY, without ability to link NULL to NOT NULL (and with some lingerin...Gravatar Adam Chlipala2009-04-07
* PRIMARY KEYGravatar Adam Chlipala2009-04-07
* Track uniqueness sets in table typesGravatar Adam Chlipala2009-04-07
* UNIQUE constraintsGravatar Adam Chlipala2009-04-07
* Threads demoGravatar Adam Chlipala2009-04-05
* sleep and better ScriptcheckGravatar Adam Chlipala2009-04-04
* spawnGravatar Adam Chlipala2009-04-04
* On start-up, delete/nullify rows mentioning clients or channelsGravatar Adam Chlipala2009-04-02
* Expunging nullable fieldsGravatar Adam Chlipala2009-03-29
* Expunging non-nullable rowsGravatar Adam Chlipala2009-03-29
* Redo channels, making them single-clientGravatar Adam Chlipala2009-03-29
* Chat example working nicely, but without dead channel removalGravatar Adam Chlipala2009-03-26
* Preliminary work supporting channels in databasesGravatar Adam Chlipala2009-03-26
* Make sql_injectable class nicer with inclusionGravatar Adam Chlipala2009-03-26
* Proper recvGravatar Adam Chlipala2009-03-22
* First message send delivered, but not interpretedGravatar Adam Chlipala2009-03-22
* Dummy message delivery to clientsGravatar Adam Chlipala2009-03-19
* Noisy demoGravatar Adam Chlipala2009-03-10
* ListEdit demo, minus proseGravatar Adam Chlipala2009-03-10
* Avoid any JavaScript when pages don't need it; update demo proseGravatar Adam Chlipala2009-03-10
* demo/hello compiles with kind polymorphismGravatar Adam Chlipala2009-02-22
* Start of kind polymorphism, up to the point where demo/hello elaborates with ...Gravatar Adam Chlipala2009-02-22
* "Hello world" compiles, after replacing type-level fold with mapGravatar Adam Chlipala2009-02-21