summaryrefslogtreecommitdiff
path: root/doc
Commit message (Expand)AuthorAge
* Merge branch 'upstream' into dfsg_clean20180616+dfsgGravatar Benjamin Barenblat2018-06-17
|\
| * 'filecache' .urp directive, fixing a longstanding MonoUtil bug in the processGravatar Adam Chlipala2018-06-03
| * Manual fix: [self] only callable on the serverGravatar Adam Chlipala2017-11-11
| * New .urp directives: mimeTypes and long form of fileGravatar Adam Chlipala2017-10-01
* | Merge branch 'upstream' into dfsg_cleanGravatar Benjamin Barenblat2017-07-23
|\|
| * Allow inexhaustive patterns for lefthand sides of top-level 'val' declarationsGravatar Adam Chlipala2017-07-12
| * Document new 'jsModule' .urp directiveGravatar Adam Chlipala2017-07-12
| * Extend license for tutorial codeGravatar Adam Chlipala2017-03-17
| * Update manual for '-js'Gravatar Adam Chlipala2017-03-07
* | Merge branch 'upstream' into dfsg_clean20161022+dfsgGravatar Benjamin Barenblat2016-10-23
|\|
| * Make HTML5 the default and add 'xhtml' .urp directiveGravatar Adam Chlipala2016-09-20
| * Manual: explain the cooperative multithreading modelGravatar Adam Chlipala2016-08-26
* | Merge branch 'upstream' into dfsg_clean20160515+dfsgGravatar Benjamin Barenblat2016-05-30
|\|
| * Support for <meta> tagsGravatar Adam Chlipala2016-05-15
* | Merge branch 'upstream' into dfsg_clean20151220+dfsgGravatar Benjamin Barenblat2015-12-23
|\|
| * Short manual note on -sqlcacheGravatar Adam Chlipala2015-12-20
| * Document jsFileGravatar Adam Chlipala2015-12-05
* | Merge branch 'upstream' into dfsg_clean20150819+dfsgGravatar Benjamin Barenblat2015-08-19
|\ \
| * | Add LIKE to the manualGravatar Adam Chlipala2015-08-15
| | * Add LIKE to the manualGravatar Adam Chlipala2015-08-15
| * | Fix termination bug in tutorial's isEven/isOddGravatar Adam Chlipala2015-08-09
| | * Fix termination bug in tutorial's isEven/isOddGravatar Adam Chlipala2015-08-09
* | | Merge branch 'upstream' into dfsg_clean20150520+dfsgGravatar Benjamin Barenblat2015-05-20
|\ \ \
| | * | A number of bug fixes in the manualGravatar Adam Chlipala2015-06-11
| |/ /
| | * A number of bug fixes in the manualGravatar Adam Chlipala2015-06-11
| * | Use hyperref in manualGravatar Julian Squires2015-04-24
| | * Use hyperref in manualGravatar Julian Squires2015-04-24
* | | Merge branch 'upstream' into dfsg_clean20150412+dfsgGravatar Benjamin Barenblat2015-04-14
|\| |
* | | Make DFSG-clean20150214+dfsgGravatar Benjamin Barenblat2015-03-09
| * | Document hexadecimal literalsGravatar Adam Chlipala2015-03-05
| | * Document hexadecimal literalsGravatar Adam Chlipala2015-03-05
| * | Document new infix operatorsGravatar Adam Chlipala2015-03-05
|/ /
| * Document new infix operatorsGravatar Adam Chlipala2015-03-05
* | Reference manual: fix rendering of field removal operatorsGravatar Adam Chlipala2015-01-22
* | New antiquote syntax for ORDER BYGravatar Adam Chlipala2014-12-23
* | Make 'required' and 'autofocus' attributes Boolean; add a syntax extension fo...Gravatar Adam Chlipala2014-11-16
| * Reference manual: fix rendering of field removal operatorsGravatar Adam Chlipala2015-01-22
| * New antiquote syntax for ORDER BYGravatar Adam Chlipala2014-12-23
| * Make 'required' and 'autofocus' attributes Boolean; add a syntax extension fo...Gravatar Adam Chlipala2014-11-16
* | 'aria-*' attributesGravatar Adam Chlipala2014-08-01
* | New .urp directive: fileGravatar Adam Chlipala2014-07-31
* | Manual: Heuristic compilation warningGravatar Adam Chlipala2014-07-26
* | Default 'jsFunc' for less-safe FFIGravatar Adam Chlipala2014-07-16
| * 'aria-*' attributesGravatar Adam Chlipala2014-08-01
| * New .urp directive: fileGravatar Adam Chlipala2014-07-31
| * Manual: Heuristic compilation warningGravatar Adam Chlipala2014-07-26
| * Default 'jsFunc' for less-safe FFIGravatar Adam Chlipala2014-07-16
* | New syntactic shorthand for antiquoting subqueriesGravatar Adam Chlipala2014-06-25
| * New syntactic shorthand for antiquoting subqueriesGravatar Adam Chlipala2014-06-25
* | let..where..endGravatar Adam Chlipala2014-06-11