Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Merge branch 'upstream' into dfsg_clean | Benjamin Barenblat | 2017-07-23 |
|\ | |||
| * | Allow inexhaustive patterns for lefthand sides of top-level 'val' declarations | Adam Chlipala | 2017-07-12 |
| | | |||
| * | Document new 'jsModule' .urp directive | Adam Chlipala | 2017-07-12 |
| | | |||
| * | Extend license for tutorial code | Adam Chlipala | 2017-03-17 |
| | | |||
| * | Update manual for '-js' | Adam Chlipala | 2017-03-07 |
| | | |||
* | | Merge branch 'upstream' into dfsg_clean20161022+dfsg | Benjamin Barenblat | 2016-10-23 |
|\| | |||
| * | Make HTML5 the default and add 'xhtml' .urp directive | Adam Chlipala | 2016-09-20 |
| | | |||
| * | Manual: explain the cooperative multithreading model | Adam Chlipala | 2016-08-26 |
| | | |||
* | | Merge branch 'upstream' into dfsg_clean20160515+dfsg | Benjamin Barenblat | 2016-05-30 |
|\| | |||
| * | Support for <meta> tags | Adam Chlipala | 2016-05-15 |
| | | |||
* | | Merge branch 'upstream' into dfsg_clean20151220+dfsg | Benjamin Barenblat | 2015-12-23 |
|\| | |||
| * | Short manual note on -sqlcache | Adam Chlipala | 2015-12-20 |
| | | |||
| * | Document jsFile | Adam Chlipala | 2015-12-05 |
| | | |||
* | | Merge branch 'upstream' into dfsg_clean20150819+dfsg | Benjamin Barenblat | 2015-08-19 |
|\ \ | | | | | | | | | | | | | Conflicts: doc/intro.ur | ||
| * | | Add LIKE to the manual | Adam Chlipala | 2015-08-15 |
| | | | |||
| | * | Add LIKE to the manual | Adam Chlipala | 2015-08-15 |
| | | | |||
| * | | Fix termination bug in tutorial's isEven/isOdd | Adam Chlipala | 2015-08-09 |
| | | | |||
| | * | Fix termination bug in tutorial's isEven/isOdd | Adam Chlipala | 2015-08-09 |
| | | | |||
* | | | Merge branch 'upstream' into dfsg_clean20150520+dfsg | Benjamin Barenblat | 2015-05-20 |
|\ \ \ | |||
| | * | | A number of bug fixes in the manual | Adam Chlipala | 2015-06-11 |
| |/ / | |||
| | * | A number of bug fixes in the manual | Adam Chlipala | 2015-06-11 |
| | | | |||
| * | | Use hyperref in manual | Julian Squires | 2015-04-24 |
| | | | | | | | | | | | | This allows the table of contents to show up properly in PDF readers. | ||
| | * | Use hyperref in manual | Julian Squires | 2015-04-24 |
| | | | | | | | | | | | | This allows the table of contents to show up properly in PDF readers. | ||
* | | | Merge branch 'upstream' into dfsg_clean20150412+dfsg | Benjamin Barenblat | 2015-04-14 |
|\| | | |||
* | | | Make DFSG-clean20150214+dfsg | Benjamin Barenblat | 2015-03-09 |
| | | | |||
| * | | Document hexadecimal literals | Adam Chlipala | 2015-03-05 |
| | | | |||
| | * | Document hexadecimal literals | Adam Chlipala | 2015-03-05 |
| | | | |||
| * | | Document new infix operators | Adam Chlipala | 2015-03-05 |
|/ / | |||
| * | Document new infix operators | Adam Chlipala | 2015-03-05 |
| | | |||
* | | Reference manual: fix rendering of field removal operators | Adam Chlipala | 2015-01-22 |
| | | |||
* | | New antiquote syntax for ORDER BY | Adam Chlipala | 2014-12-23 |
| | | |||
* | | Make 'required' and 'autofocus' attributes Boolean; add a syntax extension ↵ | Adam Chlipala | 2014-11-16 |
| | | | | | | | | for parsing their usual HTML syntax | ||
| * | Reference manual: fix rendering of field removal operators | Adam Chlipala | 2015-01-22 |
| | | |||
| * | New antiquote syntax for ORDER BY | Adam Chlipala | 2014-12-23 |
| | | |||
| * | Make 'required' and 'autofocus' attributes Boolean; add a syntax extension ↵ | Adam Chlipala | 2014-11-16 |
| | | | | | | | | for parsing their usual HTML syntax | ||
* | | 'aria-*' attributes | Adam Chlipala | 2014-08-01 |
| | | |||
* | | New .urp directive: file | Adam Chlipala | 2014-07-31 |
| | | |||
* | | Manual: Heuristic compilation warning | Adam Chlipala | 2014-07-26 |
| | | |||
* | | Default 'jsFunc' for less-safe FFI | Adam Chlipala | 2014-07-16 |
| | | |||
| * | 'aria-*' attributes | Adam Chlipala | 2014-08-01 |
| | | |||
| * | New .urp directive: file | Adam Chlipala | 2014-07-31 |
| | | |||
| * | Manual: Heuristic compilation warning | Adam Chlipala | 2014-07-26 |
| | | |||
| * | Default 'jsFunc' for less-safe FFI | Adam Chlipala | 2014-07-16 |
| | | |||
* | | New syntactic shorthand for antiquoting subqueries | Adam Chlipala | 2014-06-25 |
| | | |||
| * | New syntactic shorthand for antiquoting subqueries | Adam Chlipala | 2014-06-25 |
| | | |||
* | | let..where..end | Adam Chlipala | 2014-06-11 |
| | | |||
| * | let..where..end | Adam Chlipala | 2014-06-11 |
| | | |||
* | | Warn about MLton memory usage | Adam Chlipala | 2014-05-25 |
| | | |||
| * | Warn about MLton memory usage | Adam Chlipala | 2014-05-25 |
| | | |||
* | | New lessSafeFfi | Adam Chlipala | 2014-05-02 |
| | |