summaryrefslogtreecommitdiff
path: root/lib/ur
Commit message (Collapse)AuthorAge
* String.lengthGravatar Adam Chlipala2009-05-30
|
* Fix EDLet elab_util bugGravatar Adam Chlipala2009-05-28
|
* fn-pattern code in but not tested yet; hello compilesGravatar Adam Chlipala2009-05-28
|
* Chars and more string operationsGravatar Adam Chlipala2009-05-26
|
* Change List.mapM' to avoid leaving functions aroundGravatar Adam Chlipala2009-05-21
|
* ccheckboxGravatar Adam Chlipala2009-05-21
|
* Fix nasty bugs with longjmp() looping for uw_set_input(); and bad variable ↵Gravatar Adam Chlipala2009-05-14
| | | | indexes for nested JavaScript in jscomp
* Proper lifting of MonoEnv stored expressions; avoidance of onchange clobberingGravatar Adam Chlipala2009-05-14
|
* cselect.onchangeGravatar 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
|
* outer demoGravatar Adam Chlipala2009-05-03
|
* css demoGravatar Adam Chlipala2009-05-03
|
* Runtime URL and MIME type filteringGravatar Adam Chlipala2009-05-02
|
* <input type='hidden'>Gravatar Adam Chlipala2009-04-30
|
* Megaform testGravatar 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
|
* 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
|
* blobSizeGravatar 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
|
* Initial support for blobs and uploadGravatar Adam Chlipala2009-04-25
|
* 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
|
* <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
|
* Made type class system very general; demo compilesGravatar Adam Chlipala2009-04-09
|
* FOREIGN KEY, without ability to link NULL to NOT NULL (and with some ↵Gravatar Adam Chlipala2009-04-07
| | | | lingering problems in row inference)
* PRIMARY KEYGravatar Adam Chlipala2009-04-07
|
* Track uniqueness sets in table typesGravatar Adam Chlipala2009-04-07
|
* UNIQUE constraintsGravatar Adam Chlipala2009-04-07
|
* Update the manualGravatar Adam Chlipala2009-04-05
|
* Chat demoGravatar Adam Chlipala2009-04-05
|