summaryrefslogtreecommitdiff
path: root/src/demo.sml
Commit message (Expand)AuthorAge
* Especialize uses a termination measure based on number of arguments introducedGravatar Adam Chlipala2009-12-15
* More fun with cookiesGravatar Adam Chlipala2009-11-26
* Fix JavaScript char literals; don't generate demo links to nonexistent filesGravatar Adam Chlipala2009-09-15
* More command-line optionsGravatar Adam Chlipala2009-07-18
* Start of multi-DBMS supportGravatar Adam Chlipala2009-06-28
* .msgs processing in FastCGIGravatar Adam Chlipala2009-06-27
* upload demoGravatar Adam Chlipala2009-05-03
* url demoGravatar Adam Chlipala2009-05-03
* constraints demoGravatar Adam Chlipala2009-05-03
* allow/deny working in Mono_optGravatar Adam Chlipala2009-05-02
* Path rewritingGravatar Adam Chlipala2009-05-02
* More FFI compiler optionsGravatar Adam Chlipala2009-05-02
* Successfully influenced effectful-ness status of FFI funcGravatar Adam Chlipala2009-05-02
* C FFI compiler optionsGravatar Adam Chlipala2009-04-30
* Variable timeouts and client keep-aliveGravatar Adam Chlipala2009-03-24
* Profiling supportGravatar Adam Chlipala2008-11-20
* Some demo improvementsGravatar Adam Chlipala2008-11-20
* Sql demoGravatar Adam Chlipala2008-10-21
* Support for URL prefixes that works with local demoGravatar Adam Chlipala2008-10-19
* Building combined demo appGravatar Adam Chlipala2008-10-19
* Small demo prettificationsGravatar Adam Chlipala2008-10-19
* Generating fontified source filesGravatar Adam Chlipala2008-10-19
* Generating urp HTMLGravatar Adam Chlipala2008-10-19
* Demo HTML generation, minus source codeGravatar Adam Chlipala2008-10-19