Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Basis.mkMonad | Adam Chlipala | 2011-08-19 |
| | |||
* | List.mapXi | Adam Chlipala | 2011-08-15 |
| | |||
* | List.find | Adam Chlipala | 2011-07-24 |
| | |||
* | <image> | Adam Chlipala | 2011-07-24 |
| | |||
* | Backpedal on tutorial-motivated urweb-mode changes; add Basis.diffInSeconds ↵ | Adam Chlipala | 2011-07-22 |
| | | | | and Basis.toSeconds | ||
* | Basis.currentUrlHasQueryString | Adam Chlipala | 2011-07-03 |
| | |||
* | recToList | Robin Green | 2011-06-27 |
| | |||
* | top.urs: More comments | Robin Green | 2011-06-28 |
| | |||
* | 'show' instance for 'css_class' | Adam Chlipala | 2011-06-23 |
| | |||
* | Add rowspan attribute to td,th elements. | Karn Kallio | 2011-06-22 |
| | |||
* | Implicit argument insertion for local variables | Adam Chlipala | 2011-06-14 |
| | |||
* | getHeader and setHeader | Adam Chlipala | 2011-05-29 |
| | |||
* | Add two html elements: sup and sub | Karn Kallio | 2011-04-18 |
| | |||
* | Make 'ex' kind-generic | Adam Chlipala | 2011-03-11 |
| | |||
* | sql_arith_option; 'ALL' for relational operators | Adam Chlipala | 2011-02-25 |
| | |||
* | Subqueries may always return NULL | Adam Chlipala | 2011-02-03 |
| | |||
* | Allow 'alt' attribute of <img> (suggested by Karn Kallio) | Adam Chlipala | 2011-01-25 |
| | |||
* | Allow CSS class specification for <form> | Adam Chlipala | 2011-01-23 |
| | |||
* | Fix the two functions I just added | Adam Chlipala | 2011-01-20 |
| | |||
* | queryXI and queryX1I | Adam Chlipala | 2011-01-20 |
| | |||
* | Allow subqueries to reference aggregate-only columns of free tables; treat ↵ | Adam Chlipala | 2011-01-15 |
| | | | | non-COUNT aggregate functions as possibly returning NULL | ||
* | More string processing | Adam Chlipala | 2011-01-13 |
| | |||
* | Some more string parsing functions; naughtyDebug | Adam Chlipala | 2011-01-11 |
| | |||
* | String processing optimizations | Adam Chlipala | 2011-01-11 |
| | |||
* | Basis.currentUrlHasPost | Adam Chlipala | 2011-01-06 |
| | |||
* | Basis.readUtc | Adam Chlipala | 2010-12-28 |
| | |||
* | queryString and effectfulUrl | Adam Chlipala | 2010-12-26 |
| | |||
* | Expose buffer type for other C libraries; replace minusSeconds with addSeconds | Adam Chlipala | 2010-12-26 |
| | |||
* | Top.queryI1; fix definition of uw_Basis_minTime | Adam Chlipala | 2010-12-24 |
| | |||
* | [De]serialization of times in JavaScript; proper integer division in ↵ | Adam Chlipala | 2010-12-23 |
| | | | | JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types | ||
* | Recursive record unification errors, for more detail | Adam Chlipala | 2010-12-23 |
| | |||
* | Basis.cdataChar | Adam Chlipala | 2010-12-21 |
| | |||
* | Allow SQL aggregation over nullable types | Adam Chlipala | 2010-12-21 |
| | |||
* | Periodic tasks | Adam Chlipala | 2010-12-18 |
| | |||
* | Change tasks to support parametric code; add clientLeaves | Adam Chlipala | 2010-12-18 |
| | |||
* | postBody type | Adam Chlipala | 2010-12-18 |
| | |||
* | Fiddly tweaks | Adam Chlipala | 2010-12-16 |
| | |||
* | Moving Incl and Mem to Meta library | Adam Chlipala | 2010-12-14 |
| | |||
* | Fix a bug in C list unurlification | Adam Chlipala | 2010-11-21 |
| | |||
* | queryL1 and List.sort | Adam Chlipala | 2010-11-20 |
| | |||
* | Monad.appR3 | Adam Chlipala | 2010-10-19 |
| | |||
* | Monad.appR | Adam Chlipala | 2010-10-19 |
| | |||
* | Simplify type of Monad.appR2 | Adam Chlipala | 2010-10-17 |
| | |||
* | Tweaking unification fix to apply to demo/more | Adam Chlipala | 2010-10-10 |
| | |||
* | tryDml | Adam Chlipala | 2010-09-05 |
| | |||
* | Support multiple CSS classes for a single tag | Adam Chlipala | 2010-09-05 |
| | |||
* | Add 'title' attribute | Adam Chlipala | 2010-09-04 |
| | |||
* | Confirm boxes; proper event handler setting for ctags | Adam Chlipala | 2010-08-22 |
| | |||
* | Polymorphic variants | Adam Chlipala | 2010-08-19 |
| | |||
* | Roll back WHERE checking | Adam Chlipala | 2010-07-27 |
| |