summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Use hash instead of timestamp in app.js filenameGravatar Jacob Mitchell2016-09-08
* HTTP Last-Modified: latest modtime of source filesGravatar Jacob Mitchell2016-09-07
* Remove 'Value' attributes for AJAX-y UI widgets, because they should use 'Sou...Gravatar Adam Chlipala2016-09-01
* Emacs mode: switch font-lock-cvariable-face to inherit from font-lock-type-fa...Gravatar Adam Chlipala2016-09-01
* Json: parse records with extra fieldsGravatar Adam Chlipala2016-08-27
* Merge branch 'master' of ssh://github.com/urweb/urwebGravatar Adam Chlipala2016-08-26
|\
* | Import Json module from old Meta library (thanks to Edward Z. Yang for code c...Gravatar Adam Chlipala2016-08-26
| * Manual: explain the cooperative multithreading modelGravatar Adam Chlipala2016-08-26
| * Plug a reactive-DOM memory leak (thanks to Saulo Araujo for spotting the prob...Gravatar Adam Chlipala2016-08-24
| * Remove a check that was actually always passing because it was on the wrong o...Gravatar Adam Chlipala2016-08-08
| * Avoid repopulating dead nodes; otherwise, we might wind up killing a node mul...Gravatar Adam Chlipala2016-08-08
| * Export fewer symbolsGravatar Benjamin Barenblat2016-08-05
|/
* Return to working version modeGravatar Adam Chlipala2016-08-05
* New releaseGravatar Adam Chlipala2016-08-05
* SpellingGravatar Benjamin Barenblat2016-08-03
* Fix Travis syntax errorGravatar Adam Chlipala2016-08-02
* Update Travis tests to (1) use MLton from main package repo and (2) apply an ...Gravatar Adam Chlipala2016-08-02
* Merge pull request #34 from saulo2/masterGravatar Adam Chlipala2016-08-02
|\
* | Support OpenSSL 1.1Gravatar Benjamin Barenblat2016-07-20
* | uw_memmem: correct indentationGravatar Benjamin Barenblat2016-07-20
* | Add .mailmap to correct bbaren’s addressGravatar Benjamin Barenblat2016-07-20
| * Fix for "normalizeTable" nesting thead and tfoot in tbodyGravatar Saulo Araujo2016-07-16
|/
* Merge pull request #33 from tuncer/emacs-final-newlineGravatar Adam Chlipala2016-07-15
|\
| * urweb-mode: do not configure require-final-newlineGravatar Tuncer Ayaz2016-07-15
|/
* Switch to expected order for [queryL]Gravatar Adam Chlipala2016-07-01
* Return to working version modeGravatar Adam Chlipala2016-06-21
* New releaseGravatar Adam Chlipala2016-06-21
* Merge branch 'master' of ssh://github.com/urweb/urwebGravatar Adam Chlipala2016-06-17
|\
* | Prepare Postgres code for NULL error fieldsGravatar Adam Chlipala2016-06-17
| * Client-side: detect session timeout and ask the user to reloadGravatar Adam Chlipala2016-06-16
|/
* Rename memmem() to urweb_memmem(), to avoid unintentionally picking up protot...Gravatar Adam Chlipala2016-06-15
* Elaborate C expression to appease recent compilersGravatar Adam Chlipala2016-06-10
* Change some vector operations to remain compatible with MLton working versionGravatar Adam Chlipala2016-05-29
* 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