summaryrefslogtreecommitdiff
path: root/doc
Commit message (Expand)AuthorAge
* Remove superfluous lambdas before guarded typesGravatar Matthew Dempsky2020-02-04
* Fix typos in kinding judgmentsGravatar Matthew Dempsky2020-02-04
* Fix record type shorthandGravatar Matthew Dempsky2020-02-04
* Merge pull request #194 from mdempsky/manual-tweaksGravatar Adam Chlipala2020-01-27
|\
| * Elaborate e^* and e^+ syntaxGravatar Matthew Dempsky2020-01-22
| * Consistently introduce application syntax before abstractionGravatar Matthew Dempsky2020-01-22
| * Kind variables must be bracketed in expression-level bindersGravatar Matthew Dempsky2020-01-22
* | monad has kind (Type->Type)->Type, not just Type->TypeGravatar Matthew Dempsky2020-01-21
|/
* Fix documentation typoGravatar Matthew Dempsky2020-01-19
* Added some documentation for the LSP server to the manualGravatar Simon Van Casteren2020-01-15
* urweb daemon restartGravatar Adam Chlipala2019-08-30
* New JavaScript FFI function 'listen'Gravatar Adam Chlipala2019-07-17
* 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