summaryrefslogtreecommitdiff
path: root/doc
Commit message (Expand)AuthorAge
...
| * 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 seri...Gravatar Adam Chlipala2014-04-15
| * 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
| * 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 poss...Gravatar Adam Chlipala2014-01-18
| * Manual: remove database version numbers from Debian package names, where poss...Gravatar Adam Chlipala2014-01-18
* | 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 su...Gravatar Adam Chlipala2013-10-11
* | 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 su...Gravatar Adam Chlipala2013-10-11
| * 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
| * Allow any FFI module to declare new HTML tagsGravatar Adam Chlipala2012-11-28
* | Manual addition for last changesetGravatar Adam Chlipala2012-09-04
* | Update tutorial for Ur/Web changesGravatar Adam Chlipala2012-09-03
| * Manual addition for last changesetGravatar Adam Chlipala2012-09-04