summaryrefslogtreecommitdiff
path: root/doc
Commit message (Collapse)AuthorAge
...
| * let..where..endGravatar Adam Chlipala2014-06-11
| |
* | Warn about MLton memory usageGravatar Adam Chlipala2014-05-25
| |
| * Warn about MLton memory usageGravatar Adam Chlipala2014-05-25
| |
* | New lessSafeFfiGravatar Adam Chlipala2014-05-02
| |
| * New lessSafeFfiGravatar Adam Chlipala2014-05-02
| |
* | Monadic bind supports patternsGravatar Adam Chlipala2014-05-02
| |
| * Monadic bind supports patternsGravatar Adam Chlipala2014-05-02
| |
* | HTML5 data-* attributesGravatar Adam Chlipala2014-05-02
| |
| * HTML5 data-* attributesGravatar Adam Chlipala2014-05-02
| |
* | uw_register_transactional() can return error codesGravatar Adam Chlipala2014-04-17
| |
| * 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
| * 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
| |
| * Update manual inaccuracies about client-side functionsGravatar Adam Chlipala2014-04-13
| |
| * -explainEmbedGravatar Adam Chlipala2014-03-17
| |
* | neverInlineGravatar Adam Chlipala2014-02-09
| |
| * neverInlineGravatar Adam Chlipala2014-02-09
| |
* | New compiler option: -stopGravatar Adam Chlipala2014-01-19
| |
| * New compiler option: -stopGravatar Adam Chlipala2014-01-19
| |
* | Manual: remove database version numbers from Debian package names, where ↵Gravatar Adam Chlipala2014-01-18
| | | | | | | | possible
| * Manual: remove database version numbers from Debian package names, where ↵Gravatar Adam Chlipala2014-01-18
| | | | | | | | possible
* | Add 'html5' .urp directiveGravatar Adam Chlipala2014-01-09
| |
| * Add 'html5' .urp directiveGravatar Adam Chlipala2014-01-09
| |
* | noMangleSql .urp directiveGravatar Adam Chlipala2014-01-04
| |
| * noMangleSql .urp directiveGravatar Adam Chlipala2014-01-04
| |
* | Add a bit of manual clarification about channels and clientsGravatar Adam Chlipala2013-12-25
| |
| * 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
| |
| * 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
| |
| * Plugging some gaps in the manualGravatar Adam Chlipala2013-04-21
| |
* | Basis.tryRpcGravatar Adam Chlipala2013-04-16
| |
| * Basis.tryRpcGravatar Adam Chlipala2013-04-16
| |
* | Manual: Reveal JavaScript representation of transaction type familyGravatar Adam Chlipala2013-03-12
| |
| * Manual: Reveal JavaScript representation of transaction type familyGravatar Adam Chlipala2013-03-12
| |
* | Allow any FFI module to declare new HTML tagsGravatar Adam Chlipala2012-11-28
| |
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-11 18:28:34 +0000