summaryrefslogtreecommitdiff
path: root/src/settings.sml
Commit message (Collapse)AuthorAge
...
* | Broaden handling of wildcard rewritesGravatar Adam Chlipala2014-12-24
| |
| * Complete overhaul: cache queries based on immediate query result, not ↵Gravatar Ziv Scully2014-10-14
|/ | | | eventual HTML output.
* 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
| | | | | | See this one [1] for an example [1] - http://www.w3.org/TR/SVGTiny12/mimereg.html
* 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
| | | | This allows user to overwrite the compiler set during the configure phase
* Reduce default inlining thresholds; improve a let-substitution optimization ↵Gravatar Adam Chlipala2012-09-14
| | | | to compensate
* 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
| | | | | | | | | | | | | | | | | | | | | | | | | | | | 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.)
* 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 ↵Gravatar Adam Chlipala2011-11-18
| | | | stringToTime_error
* 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
| | | | Vladimir Shabanov)
* 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 ↵Gravatar Adam Chlipala2011-07-22
| | | | and Basis.toSeconds
* 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 ↵Gravatar Adam Chlipala2011-03-10
| | | | carriage returns at line ends in .urp files
* Allow debug and naughtyDebug in client-side code, implemented with alertGravatar Adam Chlipala2011-03-02
|