Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 differ... | Adam Chlipala | 2009-06-23 |
* | 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 |
* | selfify | Adam Chlipala | 2008-11-29 |
* | Module typing | Adam Chlipala | 2008-11-29 |
* | Signature compatibility | Adam Chlipala | 2008-11-29 |
* | Signature compatibility | Adam Chlipala | 2008-11-29 |