summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
...
* | | Proofread and tweak new demo proseGravatar Adam Chlipala2016-12-31
* | | Merge pull request #55 from TheNotary/edit-tutorialGravatar Adam Chlipala2016-12-31
|\ \ \
* | | | Allow qualified variable references in record literalsGravatar Adam Chlipala2016-12-31
| | * | remove unnecessary codeGravatar Marvin Sielenkemper2016-12-01
| | * | pass the proper size to the bind callGravatar Marvin Sielenkemper2016-12-01
| | * | zero initialize the socket address structureGravatar Marvin Sielenkemper2016-12-01
| | * | use the ip4 socket address for ipv4 againGravatar Marvin Sielenkemper2016-11-30
| |/ / |/| |
| | * FastCGI: Track request IDs during processingGravatar Benjamin Barenblat2016-11-07
| |/ |/|
* | Return to working version modeGravatar Adam Chlipala2016-10-22
* | New releaseGravatar Adam Chlipala2016-10-22
| * notes a place to see where a database table is definedGravatar TheNotary2016-10-21
| * reflows intro tutorialGravatar TheNotary2016-10-21
* | 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
|/
* 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