summaryrefslogtreecommitdiff
path: root/doc
Commit message (Expand)AuthorAge
* Manual entry for '-endpoints'Gravatar Adam Chlipala2019-01-27
* Clarifying security model in the manualGravatar Adam Chlipala2019-01-26
* Follow-up to #146: update documentationGravatar Adam Chlipala2018-12-19
* New .urp option: safeGetDefaultGravatar Adam Chlipala2018-12-14
* Fix a manual typoGravatar Adam Chlipala2018-10-23
* '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
* 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
* Make HTML5 the default and add 'xhtml' .urp directiveGravatar Adam Chlipala2016-09-20
* Manual: explain the cooperative multithreading modelGravatar Adam Chlipala2016-08-26
* Support for <meta> tagsGravatar Adam Chlipala2016-05-15
* Short manual note on -sqlcacheGravatar Adam Chlipala2015-12-20
* Document jsFileGravatar Adam Chlipala2015-12-05
* Add LIKE to the manualGravatar Adam Chlipala2015-08-15
* Fix termination bug in tutorial's isEven/isOddGravatar Adam Chlipala2015-08-09
* A number of bug fixes in the manualGravatar Adam Chlipala2015-06-11
* Use hyperref in manualGravatar Julian Squires2015-04-24
* Document hexadecimal literalsGravatar 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
* '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
* let..where..endGravatar Adam Chlipala2014-06-11
* Warn about MLton memory usageGravatar Adam Chlipala2014-05-25
* New lessSafeFfiGravatar Adam Chlipala2014-05-02
* Monadic bind supports patternsGravatar Adam Chlipala2014-05-02
* HTML5 data-* attributesGravatar Adam Chlipala2014-05-02
* uw_register_transactional() can return error codesGravatar Adam Chlipala2014-04-17
* Tweaking uw_commit() logic, partly to fix a resource clean-up bug on SQL seri...Gravatar Adam Chlipala2014-04-15
* Update manual inaccuracies about client-side functionsGravatar Adam Chlipala2014-04-13
* -explainEmbedGravatar Adam Chlipala2014-03-17
* neverInlineGravatar Adam Chlipala2014-02-09
* New compiler option: -stopGravatar Adam Chlipala2014-01-19
* Manual: remove database version numbers from Debian package names, where poss...Gravatar Adam Chlipala2014-01-18
* Add 'html5' .urp directiveGravatar Adam Chlipala2014-01-09
* noMangleSql .urp directiveGravatar Adam Chlipala2014-01-04
* Add a bit of manual clarification about channels and clientsGravatar Adam Chlipala2013-12-25
* MergeGravatar Adam Chlipala2013-12-09
|\
* | Rename <activeHead> to <script> and make it work properlyGravatar Adam Chlipala2013-12-09
| * Small reformatting and documentation for '-print-cinclude'Gravatar Adam Chlipala2013-12-06
|/
* Manual: add a pointer to background reading on inference rule notationGravatar Adam Chlipala2013-11-17
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-22 05:34:16 +0000