summaryrefslogtreecommitdiff
path: root/src/demo.sml
Commit message (Collapse)AuthorAge
* Including app.js in output of endpointsGravatar Artyom Shalkhakov2019-01-12
|
* New .urp option: safeGetDefaultGravatar Adam Chlipala2018-12-14
|
* 'filecache' .urp directive, fixing a longstanding MonoUtil bug in the processGravatar Adam Chlipala2018-06-03
|
* New .urp directives: mimeTypes and long form of fileGravatar Adam Chlipala2017-10-01
|
* Option to prefix all user JavaScript FFI functions with a module name ↵Gravatar Vladimir Shabanov2017-06-15
| | | | (jsModule .urp option).
* HTTP Last-Modified: latest modtime of source filesGravatar Jacob Mitchell2016-09-07
| | | | See issue #38.
* 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
| | | | | | | | | | | | | | | | | | | | | | | | | | | | The boot flag rewrites most hardcoded paths to point to the build directory, and also forces static compilation. This is convenient for developing Ur/Web, or if you cannot 'sudo make install' Ur/Web. The following changes were made: * Header files were moved to include/urweb instead of include; this lets FFI users point their C_INCLUDE_PATH at this directory at write <urweb/urweb.h>. For internal Ur/Web executables, we simply pass -I$PATH/include/urweb as normal. * Differentiate between LIB and SRCLIB; SRCLIB is Ur and JavaScript source files, while LIB is compiled products from libtool. For in-tree compilation these live in different places. * No longer reference Config for paths; instead use Settings; these settings can be changed dynamically by Compiler.enableBoot () (TODO: add a disableBoot function.) * config.h is now generated directly in include/urweb/config.h, for consistency's sake (especially since it gets installed along with the rest of the headers!) * All of the autotools build products got updated. * The linkStatic field in protocols now only contains the name of the build product, and not the absolute path. Future users have to be careful not to reference the Settings files to early, lest they get an old version (this was the source of two bugs during development of this patch.)
* '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