Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fail when requesting a file cache with a database engine that won't do SHA512 | Adam Chlipala | 2018-06-03 |
| | |||
* | 'filecache' .urp directive, fixing a longstanding MonoUtil bug in the process | Adam Chlipala | 2018-06-03 |
| | |||
* | Proper handling of absolute paths for files to serve | Adam Chlipala | 2018-01-08 |
| | |||
* | New .urp directives: mimeTypes and long form of file | Adam Chlipala | 2017-10-01 |
| | |||
* | Allow inexhaustive patterns for lefthand sides of top-level 'val' declarations | Adam Chlipala | 2017-07-12 |
| | |||
* | Option to prefix all user JavaScript FFI functions with a module name ↵ | Vladimir Shabanov | 2017-06-15 |
| | | | | (jsModule .urp option). | ||
* | Adding support for emitting JS to a given file. | Artyom Shalkhakov | 2017-03-07 |
| | |||
* | Make JavaScript boolToString use right capitalization | Adam Chlipala | 2016-10-21 |
| | |||
* | Make HTML5 the default and add 'xhtml' .urp directive | Adam Chlipala | 2016-09-20 |
| | |||
* | HTTP Last-Modified: latest modtime of source files | Jacob Mitchell | 2016-09-07 |
| | | | | See issue #38. | ||
* | abs and floor added | Karen Sargsyan | 2016-05-23 |
| | |||
* | asin, acos, atan, atan2 added | Karen Sargsyan | 2016-05-22 |
| | |||
* | Some basic math functions: pow, sqrt, sin, cos, log, exp are added to work ↵ | Karen Sargsyan | 2016-05-21 |
| | | | | at client and server sides | ||
* | Support for <meta> tags | Adam Chlipala | 2016-05-15 |
| | |||
* | Use IS NOT DISTINCT FROM; improve Sql parser | Adam Chlipala | 2016-03-12 |
| | |||
* | Untagle boot and static flags | Eran Meir | 2016-01-02 |
| | | | | | | Boot flag should build a dynamic executable but link urweb libraries statically (from build tree). This should fix the problem of not being able to build static executables on OSX. | ||
* | Merge Sqlcache | Adam Chlipala | 2015-12-20 |
|\ | |||
* | | New .urp directive: jsFile | Adam Chlipala | 2015-12-05 |
| | | |||
* | | Make daemon mode support sharing of libraries across projects | Adam Chlipala | 2015-11-22 |
| | | |||
| * | Tweak cache consolidation and choose better default. | Ziv Scully | 2015-11-20 |
| | | |||
| * | Add consolidation heuristic options. | Ziv Scully | 2015-11-19 |
| | | |||
| * | Merge. | Ziv Scully | 2015-11-12 |
| |\ | |/ |/| | |||
* | | JavaScript versions of a few more functions | Adam Chlipala | 2015-11-01 |
| | | |||
* | | Basis.fromMilliseconds | Adam Chlipala | 2015-11-01 |
| | | |||
| * | Merge. | Ziv Scully | 2015-10-19 |
| |\ | |/ |/| | |||
* | | Allow duplicate 'file' directives if paths normalize to same value | Adam Chlipala | 2015-10-18 |
| | | |||
| * | Hard-code Sqlcache module (in Ur/Web) as effectful and reorder sqlcache.sml. | Ziv Scully | 2015-10-14 |
| | | |||
| * | Merge. | Ziv Scully | 2015-09-12 |
| |\ | |/ |/| | |||
* | | Beautify '-h' output for web servers | Adam Chlipala | 2015-08-20 |
| | | |||
| * | Merge. | Ziv Scully | 2015-05-06 |
| |\ | |/ |/| | |||
* | | Allow file directives to contain slashes | Julian Squires | 2015-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. | Ziv Scully | 2015-04-07 |
| | | |||
| * | New mouse events oncontextmenu, onmouseenter, and onmouseleave. | Ziv Scully | 2015-04-07 |
| | | |||
| * | Merge. | Ziv Scully | 2015-03-27 |
| |\ | |/ |/| | |||
* | | Fix interpretation of 'file' argument paths | Adam Chlipala | 2015-03-08 |
| | | |||
* | | Fix case issue in name mangling for MySQL | Adam Chlipala | 2015-01-22 |
| | | |||
* | | Client-side conversion of string to bool | Adam Chlipala | 2014-12-25 |
| | | |||
* | | Broaden handling of wildcard rewrites | Adam Chlipala | 2014-12-24 |
| | | |||
| * | Complete overhaul: cache queries based on immediate query result, not ↵ | Ziv Scully | 2014-10-14 |
|/ | | | | eventual HTML output. | ||
* | New .urp directive: file | Adam Chlipala | 2014-07-31 |
| | |||
* | Added javascript for Basis.strsindex | Samuel Dukhovni | 2014-07-28 |
| | |||
* | Allow '+' char in blessMime | Sergey Mironov | 2014-06-05 |
| | | | | | | See this one [1] for an example [1] - http://www.w3.org/TR/SVGTiny12/mimereg.html | ||
* | New lessSafeFfi | Adam Chlipala | 2014-05-02 |
| | |||
* | HTML5 data-* attributes | Adam Chlipala | 2014-05-02 |
| | |||
* | Add Datetime JavaScript support. | Patrick Hurst | 2014-02-17 |
| | |||
* | neverInline | Adam Chlipala | 2014-02-09 |
| | |||
* | Stop quoting Postgres identifiers in 'noMangleSql' mode | Adam Chlipala | 2014-01-15 |
| | |||
* | Add 'html5' .urp directive | Adam Chlipala | 2014-01-09 |
| | |||
* | noMangleSql .urp directive | Adam Chlipala | 2014-01-04 |
| | |||
* | Add some URL-related benignEffectful functions | Adam Chlipala | 2014-01-01 |
| |