summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Merge branch 'upstream' into dfsg_clean20161022+dfsgGravatar Benjamin Barenblat2016-10-23
|\
| * New releaseGravatar Adam Chlipala2016-10-22
| * Make JavaScript boolToString use right capitalizationGravatar Adam Chlipala2016-10-21
| * Tag: better support for recursion among page handlers, using union findGravatar Adam Chlipala2016-10-07
| * Simplify listEdit demo (thanks, Michael Rohs!)Gravatar Adam Chlipala2016-10-05
| * Add mapUX_revGravatar Adam Chlipala2016-09-24
| * Merge pull request #52 from sielenk/ipv6Gravatar Adam Chlipala2016-09-22
| |\
| | * Updates the help text to cover the new ipv6 optionGravatar Marvin Sielenkemper2016-09-22
| |/
| * Update tests for new html5 defaultGravatar Adam Chlipala2016-09-20
| * Make HTML5 the default and add 'xhtml' .urp directiveGravatar Adam Chlipala2016-09-20
| * Merge pull request #51 from jmitchell/bin-repro-mtime-precisionGravatar Adam Chlipala2016-09-20
| |\
| | * Use 1s precision when comparing file mtimesGravatar Jacob Mitchell2016-09-19
| |/
| * make test: add extra 'curl' flags to make IPv6 work in Ubuntu 14.04Gravatar Adam Chlipala2016-09-19
| * Merge pull request #49 from sielenk/masterGravatar Adam Chlipala2016-09-19
| |\
| * \ Merge pull request #48 from jmitchell/bin-reproGravatar Adam Chlipala2016-09-19
| |\ \
| | | * Revert "Try adding an IPv6 address to interface lo"Gravatar Marvin Sielenkemper2016-09-17
| | | * Try adding an IPv6 address to interface loGravatar Marvin Sielenkemper2016-09-17
| | | * Remove accidentally commited unused includes which do not exist on MacOSGravatar Marvin Sielenkemper2016-09-17
| | | * Check if the loopback interface has an IPv6 address and only run IPv6 test te...Gravatar Marvin Sielenkemper2016-09-17
| | | * Explicitly cleares IPV6_V6ONLY to ensure IPv4 availabilityGravatar Marvin Sielenkemper2016-09-17
| | | * Amend the tests to check if the new option worksGravatar Marvin Sielenkemper2016-09-16
| | | * Add tests for IPv6Gravatar Marvin Sielenkemper2016-09-16
| | | * Add IPv6 support and a new '-A' option to specify an IPv6 adress to bindGravatar Marvin Sielenkemper2016-09-16
| | |/ | |/|
| | * 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
| |/
* | Merge branch 'upstream' into dfsg_clean20160805+dfsgGravatar 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