summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
...
| | | * Merge pull request #28 from extensibl/masterGravatar Adam Chlipala2016-05-29
| | | |\
| | | | * Silence gcc warningsGravatar Alexander2016-05-26
| | | |/
| | | * Merge pull request #26 from karsar/math_updateGravatar Adam Chlipala2016-05-24
| | | |\
| | | | * abs and floor addedGravatar Karen Sargsyan2016-05-23
| | | | * asin, acos, atan, atan2 addedGravatar Karen Sargsyan2016-05-22
| | | | * Some basic math functions: pow, sqrt, sin, cos, log, exp are added to work at...Gravatar Karen Sargsyan2016-05-21
| | | |/
| | | * Increase default timeout to cope with behavior of some Chrome versionsGravatar Adam Chlipala2016-05-16
| | | * Return to working version modeGravatar Adam Chlipala2016-05-15
| | |/
| | * New releaseGravatar Adam Chlipala2016-05-15
| | * Support for <meta> tagsGravatar Adam Chlipala2016-05-15
| | * Add some tests for Content-DispositionGravatar Adam Chlipala2016-05-05
| | * Merge pull request #25 from MarkoSchuetz/masterGravatar Adam Chlipala2016-05-05
| | |\
| | | * Streamline callout to emacs for HTML rendering.Gravatar Marko Schuetz-Schmuck2016-05-05
| | |/
| | * Fix preservation of headers when returning blobsGravatar Adam Chlipala2016-04-15
| | * At runtime, catch when we exceed 'limit inputs'Gravatar Adam Chlipala2016-03-30
| | * Merge pull request #19 from AlexanderAA/masterGravatar Adam Chlipala2016-03-18
| | |\
| | * | Use IS NOT DISTINCT FROM; improve Sql parserGravatar Adam Chlipala2016-03-12
| | * | MonoReduce: fancier test for inlining a record where each field is used at mo...Gravatar Adam Chlipala2016-03-12
| | * | Sqlcache: also record script additions; do a MonoReduce afterward, to help Pr...Gravatar Adam Chlipala2016-03-12
| | * | Make Sql compatible with unmanglingGravatar Adam Chlipala2016-03-11
| | | * Resource integrity attributes for HTML link element. http://www.w3.org/TR/201...Gravatar Alexander Abushkevich2016-03-10
| | |/
| | * Return to working version modeGravatar Adam Chlipala2016-03-06
| | * New releaseGravatar Adam Chlipala2016-03-06
| | * More consistent formatting for new List functionsGravatar Adam Chlipala2016-02-26
| | * Merge pull request #18 from AlexanderAA/masterGravatar Adam Chlipala2016-02-26
| | |\
| | | * Return lists in their original order in span functionGravatar Alexander Abushkevich2016-02-24
| | * | Make JavaScript escaping handle ampersands properlyGravatar Adam Chlipala2016-02-23
| | * | Set associativity of SQL 'LIKE'Gravatar Adam Chlipala2016-02-23
| | | * Find longest prefix of elements, which satisfy a predicate; Group a listGravatar Alexander Abushkevich2016-02-23
| | |/
| | * Allow backslash-r in string literalsGravatar Adam Chlipala2016-02-17
| | * Fix handling of returnBlob headers for FastCGI, etc.Gravatar Adam Chlipala2016-02-14
* | | Release for unstable20160213+dfsg-1Gravatar Benjamin Barenblat2016-02-13
* | | s/git:/https:/g, because plain-text transports are badGravatar Benjamin Barenblat2016-02-13
* | | Update debian/copyrightGravatar Benjamin Barenblat2016-02-13
* | | Update man pageGravatar Benjamin Barenblat2016-02-13
* | | Update debian/changelogGravatar Benjamin Barenblat2016-02-13
* | | Merge branch 'dfsg_clean'Gravatar Benjamin Barenblat2016-02-13
|\| |
| * | Merge branch 'upstream' into dfsg_clean20160213+dfsgGravatar Benjamin Barenblat2016-02-13
| |\ \
| | | * Return to working version modeGravatar Adam Chlipala2016-02-13
| | |/
| | * New releaseGravatar Adam Chlipala2016-02-13
| | * Add a cast to thread_id(), to support more platformsGravatar Adam Chlipala2016-02-13
| | * Finish removing PWild; only load a library once, even if referenced multiple ...Gravatar Adam Chlipala2016-02-07
| | * Merge PVar and PWild, to get more reasonable type-class resolutionGravatar Adam Chlipala2016-02-07
| | * Use official MLton Homebrew packageGravatar Adam Chlipala2016-01-16
| | * Remove '-debug' from 'make test'Gravatar Adam Chlipala2016-01-16
| | * More debugging autoconf by pushing a change for Travis to look at: try removi...Gravatar Adam Chlipala2016-01-16
| | * More debugging autoconf by pushing a change for Travis to look at: use '-debu...Gravatar Adam Chlipala2016-01-16
| | * Debugging autoconf by pushing a change for Travis to look atGravatar Adam Chlipala2016-01-16
| | * Tweaking discovery of Pthreads C flagsGravatar Adam Chlipala2016-01-16
| | * Merge branch 'master' of ssh://github.com/urweb/urwebGravatar Adam Chlipala2016-01-02
| | |\