summaryrefslogtreecommitdiff
path: root/src/settings.sml
Commit message (Expand)AuthorAge
* 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
* Notice that Basis.now is effectful; smarter JavaScript encoding of initial so...Gravatar Adam Chlipala2011-02-08
* Patch from Vladimir Shabanov to support implicit passing of 'time' values fro...Gravatar Adam Chlipala2011-01-20
* alwaysInline .urp settingGravatar Adam Chlipala2011-01-13
* Some more string parsing functions; naughtyDebugGravatar Adam Chlipala2011-01-11
* queryString and effectfulUrlGravatar Adam Chlipala2010-12-26
* JavaScript compilation of time comparison; fix lexing of XML that includes op...Gravatar Adam Chlipala2010-12-24
* [De]serialization of times in JavaScript; proper integer division in JavaScri...Gravatar Adam Chlipala2010-12-23
* Implement constrained type kinding properly; bump mono inline threshholdGravatar Adam Chlipala2010-12-20
* minHeap option in .urp filesGravatar Adam Chlipala2010-12-11
* Fix JavaScript unit unurlification; URL blessing client-sideGravatar Adam Chlipala2010-11-26
* -limit for running timeGravatar Adam Chlipala2010-10-14