Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | getHeader and setHeader | Adam Chlipala | 2011-05-29 |
| | |||
* | minHeap option in .urp files | Adam Chlipala | 2010-12-11 |
| | |||
* | Demo improvements | Adam Chlipala | 2010-09-30 |
| | |||
* | Server-side 'onError' | Adam Chlipala | 2010-09-07 |
| | |||
* | safeGet | Adam Chlipala | 2010-03-09 |
| | |||
* | benignEffectful | Adam Chlipala | 2010-02-27 |
| | |||
* | sigfile directive | Adam Chlipala | 2010-02-11 |
| | |||
* | Remove debug prints | Adam Chlipala | 2010-02-07 |
| | |||
* | Allow .urp files without initial blank lines | Adam Chlipala | 2010-02-06 |
| | |||
* | Especialize uses a termination measure based on number of arguments introduced | Adam Chlipala | 2009-12-15 |
| | |||
* | More fun with cookies | Adam Chlipala | 2009-11-26 |
| | |||
* | Fix JavaScript char literals; don't generate demo links to nonexistent files | Adam Chlipala | 2009-09-15 |
| | |||
* | More command-line options | Adam Chlipala | 2009-07-18 |
| | |||
* | Start of multi-DBMS support | Adam Chlipala | 2009-06-28 |
| | |||
* | .msgs processing in FastCGI | Adam Chlipala | 2009-06-27 |
| | |||
* | upload demo | Adam Chlipala | 2009-05-03 |
| | |||
* | url demo | Adam Chlipala | 2009-05-03 |
| | |||
* | constraints demo | Adam Chlipala | 2009-05-03 |
| | |||
* | allow/deny working in Mono_opt | Adam Chlipala | 2009-05-02 |
| | |||
* | Path rewriting | Adam Chlipala | 2009-05-02 |
| | |||
* | More FFI compiler options | Adam Chlipala | 2009-05-02 |
| | |||
* | Successfully influenced effectful-ness status of FFI func | Adam Chlipala | 2009-05-02 |
| | |||
* | C FFI compiler options | Adam Chlipala | 2009-04-30 |
| | |||
* | Variable timeouts and client keep-alive | Adam Chlipala | 2009-03-24 |
| | |||
* | Profiling support | Adam Chlipala | 2008-11-20 |
| | |||
* | Some demo improvements | Adam Chlipala | 2008-11-20 |
| | |||
* | Sql demo | Adam Chlipala | 2008-10-21 |
| | |||
* | Support for URL prefixes that works with local demo | Adam Chlipala | 2008-10-19 |
| | |||
* | Building combined demo app | Adam Chlipala | 2008-10-19 |
| | |||
* | Small demo prettifications | Adam Chlipala | 2008-10-19 |
| | |||
* | Generating fontified source files | Adam Chlipala | 2008-10-19 |
| | |||
* | Generating urp HTML | Adam Chlipala | 2008-10-19 |
| | |||
* | Demo HTML generation, minus source code | Adam Chlipala | 2008-10-19 |