summaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAge
* Mutual datatypes through CorifyGravatar Adam Chlipala2009-05-16
* Mutual datatypes through ElaborateGravatar Adam Chlipala2009-05-16
* Add extra XML preamble nonsenseGravatar Adam Chlipala2009-05-16
* Catch more unclosed bodyless tags in MonoizeGravatar Adam Chlipala2009-05-16
* Fix a Core_untangle bug that missed closure variable references; XHTMLizeGravatar Adam Chlipala2009-05-16
* Fix nasty bugs with longjmp() looping for uw_set_input(); and bad variable in...Gravatar Adam Chlipala2009-05-14
* Proper lifting of MonoEnv stored expressions; avoidance of onchange clobberingGravatar Adam Chlipala2009-05-14
* cselect.onchangeGravatar Adam Chlipala2009-05-14
* Improvements while working on GraftidGravatar Adam Chlipala2009-05-14
* cselectGravatar Adam Chlipala2009-05-14
* Fix a nasty binding bug in CoreUtilGravatar Adam Chlipala2009-05-14
* Improving/reordering Unpoly and Especialize; pathmapsGravatar Adam Chlipala2009-05-14
* Stop potential buffer overrun of path_copyGravatar Adam Chlipala2009-05-12
* Improvements while working on GraftidGravatar Adam Chlipala2009-05-12
* Use Ur/Web library .mlbGravatar Adam Chlipala2009-05-10
* Make Effectize more preciseGravatar Adam Chlipala2009-05-05
* cookieSec demoGravatar Adam Chlipala2009-05-03
* outer demoGravatar Adam Chlipala2009-05-03
* upload demoGravatar Adam Chlipala2009-05-03
* css demoGravatar Adam Chlipala2009-05-03
* url demoGravatar Adam Chlipala2009-05-03
* constraints demoGravatar Adam Chlipala2009-05-03
* Update FFI type of Basis.selfGravatar Adam Chlipala2009-05-02
* FFI transactionalsGravatar Adam Chlipala2009-05-02
* Runtime URL and MIME type filteringGravatar Adam Chlipala2009-05-02
* allow/deny working in Mono_optGravatar Adam Chlipala2009-05-02
* Path rewritingGravatar Adam Chlipala2009-05-02
* Add 'library' directiveGravatar Adam Chlipala2009-05-02
* More FFI compiler optionsGravatar Adam Chlipala2009-05-02
* Successfully influenced effectful-ness status of FFI funcGravatar Adam Chlipala2009-05-02
* C FFI compiler optionsGravatar Adam Chlipala2009-04-30
* Lexing character entitiesGravatar Adam Chlipala2009-04-30
* List notationsGravatar Adam Chlipala2009-04-30
* <input type='hidden'>Gravatar Adam Chlipala2009-04-30
* Megaform testGravatar Adam Chlipala2009-04-30
* subforms workingGravatar 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
* Extra checks on assumptions about SQL resultsGravatar Adam Chlipala2009-04-26
* sql_ufunc and octet_lengthGravatar Adam Chlipala2009-04-26
* blobSizeGravatar Adam Chlipala2009-04-26
* Handling nullable blobsGravatar Adam Chlipala2009-04-26
* Reading blobs from the databaseGravatar Adam Chlipala2009-04-26