summaryrefslogtreecommitdiff
path: root/src/settings.sml
Commit message (Expand)AuthorAge
* Untagle boot and static flagsGravatar Eran Meir2016-01-02
* Merge SqlcacheGravatar Adam Chlipala2015-12-20
|\
* | New .urp directive: jsFileGravatar Adam Chlipala2015-12-05
* | Make daemon mode support sharing of libraries across projectsGravatar Adam Chlipala2015-11-22
| * Tweak cache consolidation and choose better default.Gravatar Ziv Scully2015-11-20
| * Add consolidation heuristic options.Gravatar Ziv Scully2015-11-19
| * Merge.Gravatar Ziv Scully2015-11-12
| |\ | |/ |/|
* | JavaScript versions of a few more functionsGravatar Adam Chlipala2015-11-01
* | Basis.fromMillisecondsGravatar Adam Chlipala2015-11-01
| * Merge.Gravatar Ziv Scully2015-10-19
| |\ | |/ |/|
* | Allow duplicate 'file' directives if paths normalize to same valueGravatar Adam Chlipala2015-10-18
| * Hard-code Sqlcache module (in Ur/Web) as effectful and reorder sqlcache.sml.Gravatar Ziv Scully2015-10-14
| * Merge.Gravatar Ziv Scully2015-09-12
| |\ | |/ |/|
* | Beautify '-h' output for web serversGravatar Adam Chlipala2015-08-20
| * Merge.Gravatar Ziv Scully2015-05-06
| |\ | |/ |/|
* | Allow file directives to contain slashesGravatar Julian Squires2015-04-24
* | New mouse events oncontextmenu, onmouseenter, and onmouseleave.Gravatar Ziv Scully2015-04-07
| * New mouse events oncontextmenu, onmouseenter, and onmouseleave.Gravatar Ziv Scully2015-04-07
| * Merge.Gravatar Ziv Scully2015-03-27
| |\ | |/ |/|
* | Fix interpretation of 'file' argument pathsGravatar Adam Chlipala2015-03-08
* | Fix case issue in name mangling for MySQLGravatar Adam Chlipala2015-01-22
* | Client-side conversion of string to boolGravatar Adam Chlipala2014-12-25
* | Broaden handling of wildcard rewritesGravatar Adam Chlipala2014-12-24
| * Complete overhaul: cache queries based on immediate query result, not eventua...Gravatar Ziv Scully2014-10-14
|/
* New .urp directive: fileGravatar Adam Chlipala2014-07-31
* Added javascript for Basis.strsindexGravatar Samuel Dukhovni2014-07-28
* Allow '+' char in blessMimeGravatar Sergey Mironov2014-06-05
* New lessSafeFfiGravatar Adam Chlipala2014-05-02
* HTML5 data-* attributesGravatar Adam Chlipala2014-05-02
* Add Datetime JavaScript support.Gravatar Patrick Hurst2014-02-17
* neverInlineGravatar Adam Chlipala2014-02-09
* Stop quoting Postgres identifiers in 'noMangleSql' modeGravatar Adam Chlipala2014-01-15
* Add 'html5' .urp directiveGravatar Adam Chlipala2014-01-09
* noMangleSql .urp directiveGravatar Adam Chlipala2014-01-04
* Add some URL-related benignEffectful functionsGravatar Adam Chlipala2014-01-01
* Add JavaScript mappings for isprint and ordGravatar Adam Chlipala2013-12-09
* Make transactional FFI functions effectful by defaultGravatar Adam Chlipala2013-10-10
* Add -ccompiler command line argumentGravatar Sergey Mironov2013-08-20
* Reduce default inlining thresholds; improve a let-substitution optimization t...Gravatar Adam Chlipala2012-09-14
* Basis.getenvGravatar Adam Chlipala2012-08-02
* Add more global mouse event hooksGravatar Adam Chlipala2012-07-23
* Top.postFieldsGravatar Adam Chlipala2012-07-21
* Basis.giveFocusGravatar Adam Chlipala2012-07-21
* New event records for key and mouse handlersGravatar Adam Chlipala2012-07-21
* Lighter-weight encoding of window function useGravatar Adam Chlipala2012-06-03
* Partitioning and ordering for window functionsGravatar Adam Chlipala2012-06-02
* Run-time CSS style validationGravatar Adam Chlipala2012-05-06
* New optional suffice for 'rewrite' in .urp files: [-]Gravatar Adam Chlipala2012-05-06
* Add support for -boot flag, which allows in-tree execution of Ur/WebGravatar Edward Z. Yang2012-05-02
* Basis.toMilliseconds and diffInMilliseconds, based on a patch from Gergely BudayGravatar Adam Chlipala2012-02-04