summaryrefslogtreecommitdiff
path: root/doc
Commit message (Expand)AuthorAge
* 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
* 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
* Basis.tryRpcGravatar Adam Chlipala2013-04-16
* 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
* Manual addition for last changesetGravatar Adam Chlipala2012-09-04
* Update tutorial for Ur/Web changesGravatar Adam Chlipala2012-09-03
* Basis.getenvGravatar Adam Chlipala2012-08-02
* Remove 'class' declaration; now use 'con' insteadGravatar Adam Chlipala2012-07-29
* Top.postFieldsGravatar Adam Chlipala2012-07-21
* <active>Gravatar Adam Chlipala2012-07-21