summaryrefslogtreecommitdiff
path: root/src/settings.sml
Commit message (Expand)AuthorAge
* Merge pull request #136 from dredozubov/anchor-linksGravatar Adam Chlipala2020-01-15
|\
* | SQL SIMILAR (via pg_trgm)Gravatar Adam Chlipala2019-12-04
* | MySQL forces NOT NULL TIMESTAMPs to have default valuesGravatar Adam Chlipala2019-05-31
* | Filecache support for MySQLGravatar Adam Chlipala2019-05-31
* | Allow Basis.currentUrl on client sideGravatar Adam Chlipala2019-03-30
* | Supporting 'char' arguments to handlers called from client codeGravatar Adam Chlipala2019-03-23
* | Merge branch 'master' of https://github.com/urweb/urweb into endpointsGravatar Artyom Shalkhakov2019-01-27
|\ \
| * | getenv is benignGravatar Adam Chlipala2019-01-20
* | | Including app.js in output of endpointsGravatar Artyom Shalkhakov2019-01-12
|/ /
* | Merge pull request #146 from fabriceleal/utf-icuGravatar Adam Chlipala2018-12-19
|\ \
| * | test 6Gravatar fab2018-12-17
| * | test 5Gravatar fab2018-12-17
* | | When using a file cache, add plugin-loading code (for SHA512) to tops of .sql...Gravatar Adam Chlipala2018-12-17
* | | New .urp option: safeGetDefaultGravatar Adam Chlipala2018-12-14
|/ /
| * Rough same page anchorsGravatar Denis Redozubov2018-08-22
|/
* Fail when requesting a file cache with a database engine that won't do SHA512Gravatar Adam Chlipala2018-06-03
* 'filecache' .urp directive, fixing a longstanding MonoUtil bug in the processGravatar Adam Chlipala2018-06-03
* Proper handling of absolute paths for files to serveGravatar Adam Chlipala2018-01-08
* New .urp directives: mimeTypes and long form of fileGravatar Adam Chlipala2017-10-01
* Allow inexhaustive patterns for lefthand sides of top-level 'val' declarationsGravatar Adam Chlipala2017-07-12
* Option to prefix all user JavaScript FFI functions with a module name (jsModu...Gravatar Vladimir Shabanov2017-06-15
* Adding support for emitting JS to a given file.Gravatar Artyom Shalkhakov2017-03-07
* Make JavaScript boolToString use right capitalizationGravatar Adam Chlipala2016-10-21
* Make HTML5 the default and add 'xhtml' .urp directiveGravatar Adam Chlipala2016-09-20
* HTTP Last-Modified: latest modtime of source filesGravatar Jacob Mitchell2016-09-07
* abs and floor addedGravatar Karen Sargsyan2016-05-23
* asin, acos, atan, atan2 addedGravatar Karen Sargsyan2016-05-22
* Some basic math functions: pow, sqrt, sin, cos, log, exp are added to work at...Gravatar Karen Sargsyan2016-05-21
* Support for <meta> tagsGravatar Adam Chlipala2016-05-15
* Use IS NOT DISTINCT FROM; improve Sql parserGravatar Adam Chlipala2016-03-12
* Untagle boot and static flagsGravatar Eran Meir2016-01-02
* 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
* | 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