| Commit message (Expand) | Author | Age |
... | |
* | Stop holding client locks throughout request processing | Adam Chlipala | 2009-04-02 |
* | Expunging nullable fields | Adam Chlipala | 2009-03-29 |
* | Expunging non-nullable rows | Adam Chlipala | 2009-03-29 |
* | Redo channels, making them single-client | Adam Chlipala | 2009-03-29 |
* | Switch back to starting listener on load | Adam Chlipala | 2009-03-28 |
* | Marshalcheck | Adam Chlipala | 2009-03-28 |
* | Chat example working nicely, but without dead channel removal | Adam Chlipala | 2009-03-26 |
* | Preliminary work supporting channels in databases | Adam Chlipala | 2009-03-26 |
* | Enforce termination of type class instances | Adam Chlipala | 2009-03-26 |
* | Make sql_injectable class nicer with inclusion | Adam Chlipala | 2009-03-26 |
* | Type class inclusions | Adam Chlipala | 2009-03-26 |
* | Type class reductions, but no inclusions yet | Adam Chlipala | 2009-03-26 |
* | Variable timeouts and client keep-alive | Adam Chlipala | 2009-03-24 |
* | Fix some AJAX annoyances | Adam Chlipala | 2009-03-24 |
* | Transactionalize channel operations | Adam Chlipala | 2009-03-24 |
* | Proper recv | Adam Chlipala | 2009-03-22 |
* | Press a button to send a message | Adam Chlipala | 2009-03-22 |
* | First message send delivered, but not interpreted | Adam Chlipala | 2009-03-22 |
* | Dummy message delivery to clients | Adam Chlipala | 2009-03-19 |
* | Factor out some common buffer functionality | Adam Chlipala | 2009-03-19 |
* | Mention src/coq in CHANGELOG | Adam Chlipala | 2009-03-12 |
* | Spell-check manual | Adam Chlipala | 2009-03-12 |
* | Update CHANGELOG | 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 |
* | Change location/type of [fold] to be more uniform w.r.t. derived folders | Adam Chlipala | 2009-03-12 |
* | Revising manual, through main syntax section | Adam Chlipala | 2009-03-12 |
* | Noisy demo | Adam Chlipala | 2009-03-10 |
* | BatchG demo | Adam Chlipala | 2009-03-10 |
* | Batch example | Adam Chlipala | 2009-03-10 |
* | Increment demo | Adam Chlipala | 2009-03-10 |
* | Prose for ListEdit | Adam Chlipala | 2009-03-10 |
* | ListEdit demo, minus prose | Adam Chlipala | 2009-03-10 |
* | React demo | Adam Chlipala | 2009-03-10 |
* | Alert demo | Adam Chlipala | 2009-03-10 |
* | Avoid any JavaScript when pages don't need it; update demo prose | Adam Chlipala | 2009-03-10 |
* | Conversion of functions to CPS, to facilitate ServerCall | Adam Chlipala | 2009-03-08 |
* | RPC returning an option | Adam Chlipala | 2009-03-08 |
* | RPC returning a default datatype | Adam Chlipala | 2009-03-08 |
* | RPC returning an option datatype | Adam Chlipala | 2009-03-08 |
* | RPC returning an enumeration | Adam Chlipala | 2009-03-08 |
* | Kind-polymorphic [fst] and friends | Adam Chlipala | 2009-02-26 |
* | Coq README | Adam Chlipala | 2009-02-26 |