summaryrefslogtreecommitdiff
path: root/src/settings.sml
Commit message (Collapse)AuthorAge
* 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
| | | | | | | | | | Previously, adding a line such as "file /c/foo.css css/foo.css" would cause the compiler to raise an InvalidArc exception.
* | 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 ↵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
|