summaryrefslogtreecommitdiff
path: root/src/settings.sml
Commit message (Expand)AuthorAge
...
* | 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
* New Basis functions: preventDefault and stopPropagation (code contributed by ...Gravatar Adam Chlipala2011-09-11
* An abstract type of IDsGravatar Adam Chlipala2011-09-03
* New client-side, document-level event handlersGravatar Adam Chlipala2011-09-03
* Client-side 'addSeconds'Gravatar Adam Chlipala2011-07-24
* Backpedal on tutorial-motivated urweb-mode changes; add Basis.diffInSeconds a...Gravatar Adam Chlipala2011-07-22
* Add client-side Basis.now and pretty-printing of timesGravatar Adam Chlipala2011-07-06
* 'noXsrfProtection' .urp directiveGravatar Adam Chlipala2011-06-24
* Handle 'prefix' directives for HTTPSGravatar Adam Chlipala2011-06-01
* getHeader and setHeaderGravatar Adam Chlipala2011-05-29
* Ignore JavaScript events in Effectize; allow extra spaces for 'jsFunc'; eat c...Gravatar Adam Chlipala2011-03-10
* Allow debug and naughtyDebug in client-side code, implemented with alertGravatar Adam Chlipala2011-03-02