Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 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 |