summaryrefslogtreecommitdiff
path: root/src/demo.sml
Commit message (Expand)AuthorAge
* Support for <meta> tagsGravatar Adam Chlipala2016-05-15
* Streamline callout to emacs for HTML rendering.Gravatar Marko Schuetz-Schmuck2016-05-05
* Fix a bug in demos with 'rewrite all'Gravatar Adam Chlipala2014-06-11
* Basis.getenvGravatar Adam Chlipala2012-08-02
* Fix hyphenation for demos; parse CSS class 'table' as 'tabl'Gravatar Adam Chlipala2012-05-13
* Add support for -boot flag, which allows in-tree execution of Ur/WebGravatar Edward Z. Yang2012-05-02
* 'linker' .urp directiveGravatar Adam Chlipala2012-04-22
* Support 'safeGet' in demosGravatar Adam Chlipala2011-11-25
* getHeader and setHeaderGravatar Adam Chlipala2011-05-29
* minHeap option in .urp filesGravatar Adam Chlipala2010-12-11
* Demo improvementsGravatar Adam Chlipala2010-09-30
* Server-side 'onError'Gravatar Adam Chlipala2010-09-07
* safeGetGravatar Adam Chlipala2010-03-09
* benignEffectfulGravatar Adam Chlipala2010-02-27
* sigfile directiveGravatar Adam Chlipala2010-02-11
* Remove debug printsGravatar Adam Chlipala2010-02-07
* Allow .urp files without initial blank linesGravatar Adam Chlipala2010-02-06
* 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