summaryrefslogtreecommitdiff
path: root/src/settings.sml
Commit message (Expand)AuthorAge
* 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
* 'ORDER BY RANDOM' (based on a patch from Ron de Bruijn)Gravatar Adam Chlipala2012-02-02
* Allow .urp libraries to set prefixGravatar Adam Chlipala2011-12-17
* Treat [naughtyDebug] as pure for optimization purposesGravatar Adam Chlipala2011-12-05
* timeFormat .urp directiveGravatar Adam Chlipala2011-12-04
* Change client-side debug to use console.debugGravatar Adam Chlipala2011-12-03
* Client-side strlenGeGravatar Adam Chlipala2011-12-03
* Client-side timefGravatar Adam Chlipala2011-11-24
* Regenerate proper Autotools files; fix JS stringToTime and add stringToTime_e...Gravatar Adam Chlipala2011-11-18
* Add read instance for time on the clientGravatar Ron de Bruijn2011-11-17
* Better error messages about server-side use of client-side functionsGravatar Adam Chlipala2011-11-14
* Primitive int/float functions: ceil, float, round, truncGravatar Adam Chlipala2011-10-08