index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Allow inexhaustive patterns for lefthand sides of top-level 'val' declarations
Adam Chlipala
2017-07-12
*
Merge pull request #80 from vshabanov/m-flag-fix
Adam Chlipala
2017-07-12
|
\
*
|
Document new 'jsModule' .urp directive
Adam Chlipala
2017-07-12
*
|
Merge pull request #81 from vshabanov/jsModule-option
Adam Chlipala
2017-07-12
|
\
\
|
*
|
Option to prefix all user JavaScript FFI functions with a module name (jsModu...
Vladimir Shabanov
2017-06-15
|
/
/
|
*
Fixed non-working '-m' runtime option.
Vladimir Shabanov
2017-06-15
|
/
*
Merge pull request #79 from bbarenblat/master
Adam Chlipala
2017-05-14
|
\
*
|
Raise an error if we run out of randomness during client initialization
Adam Chlipala
2017-05-14
|
*
Use quiet mode for Ur/Web binaries in tests
Benjamin Barenblat
2017-05-02
|
/
*
Fix normalization of signatures that project signatures from other modules wi...
Adam Chlipala
2017-03-31
*
Option '-m' for HTTP-server binaries
Adam Chlipala
2017-03-17
*
Better error message for .urp files with too many blank lines
Adam Chlipala
2017-03-17
*
Extend license for tutorial code
Adam Chlipala
2017-03-17
*
Merge pull request #71 from ashalkhakov/sqlite-is-distinct-from-fix
Adam Chlipala
2017-03-09
|
\
|
*
Minor fix.
Artyom Shalkhakov
2017-03-09
|
/
*
Update manual for '-js'
Adam Chlipala
2017-03-07
*
Merge pull request #69 from ashalkhakov/js-file
Adam Chlipala
2017-03-07
|
\
|
*
Merge branch 'master' of https://github.com/urweb/urweb into js-file
Artyom Shalkhakov
2017-03-07
|
|
\
|
|
/
|
/
|
|
*
Adding support for emitting JS to a given file.
Artyom Shalkhakov
2017-03-07
*
|
Increase size of string buffer for error messages
Adam Chlipala
2017-02-24
|
/
*
Merge pull request #68 from ashalkhakov/html5-forms
Adam Chlipala
2017-02-21
|
\
|
*
Button: disabled attribute; allowing number entry using HTML5 widgets
Artyom Shalkhakov
2017-02-21
*
|
Merge pull request #66 from ashalkhakov/mlton-bgb-mode
Adam Chlipala
2017-02-03
|
\
\
|
|
/
|
/
|
|
*
Adding: support for Emacs Bg Build mode
Artyom Shalkhakov
2017-02-02
|
/
*
Option.app
Adam Chlipala
2017-02-01
*
List.appi
Adam Chlipala
2017-01-25
*
Return to working version mode
Adam Chlipala
2017-01-05
*
New release
Adam Chlipala
2017-01-05
*
Add 'placeholder' attribute for textareas
Adam Chlipala
2017-01-02
*
Update test to track last change
Adam Chlipala
2016-12-31
*
Merge branch 'master' of ssh://github.com/urweb/urweb
Adam Chlipala
2016-12-31
|
\
*
|
Use 'id' attribute for <form>
Adam Chlipala
2016-12-31
|
*
Merge pull request #60 from bbarenblat/master
Adam Chlipala
2016-12-31
|
|
\
|
*
|
Merge pull request #62 from sielenk/ipv6_OpenBSD
Adam Chlipala
2016-12-31
|
/
|
|
*
|
|
Proper ordering when libraries are included recursively (fixes #56)
Adam Chlipala
2016-12-31
*
|
|
Proofread and tweak new demo prose
Adam Chlipala
2016-12-31
*
|
|
Merge pull request #55 from TheNotary/edit-tutorial
Adam Chlipala
2016-12-31
|
\
\
\
*
|
|
|
Allow qualified variable references in record literals
Adam Chlipala
2016-12-31
|
|
*
|
remove unnecessary code
Marvin Sielenkemper
2016-12-01
|
|
*
|
pass the proper size to the bind call
Marvin Sielenkemper
2016-12-01
|
|
*
|
zero initialize the socket address structure
Marvin Sielenkemper
2016-12-01
|
|
*
|
use the ip4 socket address for ipv4 again
Marvin Sielenkemper
2016-11-30
|
|
/
/
|
/
|
|
|
|
*
FastCGI: Track request IDs during processing
Benjamin Barenblat
2016-11-07
|
|
/
|
/
|
*
|
Return to working version mode
Adam Chlipala
2016-10-22
*
|
New release
Adam Chlipala
2016-10-22
|
*
notes a place to see where a database table is defined
TheNotary
2016-10-21
|
*
reflows intro tutorial
TheNotary
2016-10-21
*
|
Make JavaScript boolToString use right capitalization
Adam Chlipala
2016-10-21
|
/
*
Tag: better support for recursion among page handlers, using union find
Adam Chlipala
2016-10-07
*
Simplify listEdit demo (thanks, Michael Rohs!)
Adam Chlipala
2016-10-05
[next]