summaryrefslogtreecommitdiff
path: root/doc
Commit message (Collapse)AuthorAge
* '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
| | | | This allows the table of contents to show up properly in PDF readers.
* 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 ↵Gravatar Adam Chlipala2014-11-16
| | | | for parsing their usual HTML syntax
* '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 ↵Gravatar Adam Chlipala2014-04-15
| | | | serialization failures
* 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 ↵Gravatar Adam Chlipala2014-01-18
| | | | possible
* 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
|
* New header file scheme to support FFI code in either of C or C++ [based on ↵Gravatar Adam Chlipala2013-10-11
| | | | suggestion by Ron de Bruijn]
* Make transactional FFI functions effectful by defaultGravatar Adam Chlipala2013-10-10
|
* Manual entries for -ccompiler and -print-ccompilerGravatar Adam Chlipala2013-10-10
|
* Plugging some gaps in the manualGravatar Adam Chlipala2013-04-21
|
* Basis.tryRpcGravatar Adam Chlipala2013-04-16
|