Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | More fun with cookies | Adam Chlipala | 2009-11-26 |
| | |||
* | Initial versioned1 demo working | Adam Chlipala | 2009-10-06 |
| | |||
* | New release | Adam Chlipala | 2009-09-26 |
| | |||
* | New release | Adam Chlipala | 2009-08-25 |
| | |||
* | FFI manual section | Adam Chlipala | 2009-07-18 |
| | |||
* | New command-line options; describe simple SQLite build in demo intro | Adam Chlipala | 2009-07-18 |
| | |||
* | MySQL query gets up to C linking | Adam Chlipala | 2009-07-12 |
| | |||
* | Factor out common request functionality, in preparation for supporting ↵ | Adam Chlipala | 2009-06-23 |
| | | | | different protocols | ||
* | New release | Adam Chlipala | 2009-06-23 |
| | |||
* | Describe GET/POST | Adam Chlipala | 2009-05-05 |
| | |||
* | Constraint syntax | Adam Chlipala | 2009-05-05 |
| | |||
* | on* handlers | Adam Chlipala | 2009-05-05 |
| | |||
* | Revised query types | Adam Chlipala | 2009-05-05 |
| | |||
* | Table constraint Ur code | Adam Chlipala | 2009-05-05 |
| | |||
* | Revising manual through end of Section 6 | Adam Chlipala | 2009-05-05 |
| | |||
* | Revising manual through end of Section 3 | Adam Chlipala | 2009-05-05 |
| | |||
* | Update the manual | Adam Chlipala | 2009-04-05 |
| | |||
* | Spell-check manual | Adam Chlipala | 2009-03-12 |
| | |||
* | Add guard elim rule | Adam Chlipala | 2009-03-12 |
| | |||
* | Update compiler phases | Adam Chlipala | 2009-03-12 |
| | |||
* | Describe AJAX RPC structure | Adam Chlipala | 2009-03-12 |
| | |||
* | Functional-reactive subsection | Adam Chlipala | 2009-03-12 |
| | |||
* | Update old Ur/Web library section, before adding new stuff | Adam Chlipala | 2009-03-12 |
| | |||
* | Describe folders | Adam Chlipala | 2009-03-12 |
| | |||
* | Revise type inference section | Adam Chlipala | 2009-03-12 |
| | |||
* | Revise manual, through static semantics | Adam Chlipala | 2009-03-12 |
| | |||
* | Revise manual, through end of Syntax | Adam Chlipala | 2009-03-12 |
| | |||
* | Revising manual, through main syntax section | Adam Chlipala | 2009-03-12 |
| | |||
* | More manual bug reports from megacz | Adam Chlipala | 2008-12-24 |
| | |||
* | Typo report from megacz | Adam Chlipala | 2008-12-20 |
| | |||
* | Spell check | Adam Chlipala | 2008-12-09 |
| | |||
* | Add SQL arithmetic operators | Adam Chlipala | 2008-12-09 |
| | |||
* | Proofreading pass | Adam Chlipala | 2008-12-09 |
| | |||
* | Building an application | Adam Chlipala | 2008-12-09 |
| | |||
* | .urp files | Adam Chlipala | 2008-12-09 |
| | |||
* | Installation | Adam Chlipala | 2008-12-09 |
| | |||
* | Intro | Adam Chlipala | 2008-12-07 |
| | |||
* | The structure of web applications | Adam Chlipala | 2008-12-07 |
| | |||
* | Compiler phases | Adam Chlipala | 2008-12-07 |
| | |||
* | XML syntax | Adam Chlipala | 2008-12-07 |
| | |||
* | DML | Adam Chlipala | 2008-12-07 |
| | |||
* | Query syntax | Adam Chlipala | 2008-12-07 |
| | |||
* | XML | Adam Chlipala | 2008-12-07 |
| | |||
* | Sequences | Adam Chlipala | 2008-12-07 |
| | |||
* | DML | Adam Chlipala | 2008-12-07 |
| | |||
* | Finish documenting queries; remove a stray [unit] argument | Adam Chlipala | 2008-12-07 |
| | |||
* | Start of sql_exp | Adam Chlipala | 2008-12-07 |
| | |||
* | Start of Ur/Web library | Adam Chlipala | 2008-12-06 |
| | |||
* | Type inference | Adam Chlipala | 2008-12-06 |
| | |||
* | Module projection | Adam Chlipala | 2008-11-29 |
| |