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
*
New .urp directives: mimeTypes and long form of file
Adam Chlipala
2017-10-01
*
README extension: installation and simple invocation
Adam Chlipala
2017-10-01
*
Merge branch 'master' of ssh://github.com/urweb/urweb
Adam Chlipala
2017-08-11
|
\
*
\
Merge branch 'master' of ssh://hnf.impredicative.com:/home/adamc/git-root/urweb
Adam Chlipala
2017-08-11
|
\
\
*
|
|
Demo instructions: -noEmacs
Adam Chlipala
2017-08-11
|
|
*
Merge pull request #84 from bbarenblat/master
Adam Chlipala
2017-08-08
|
|
|
\
|
|
|
*
Remove redundant -Wimplicit
Benjamin Barenblat
2017-08-07
|
|
|
*
Enable -Wunused-parameter
Benjamin Barenblat
2017-08-07
|
|
|
/
|
|
*
Fix last fix, to handle checkboxes properly
Adam Chlipala
2017-07-27
|
|
*
Add test cases for last commit
Adam Chlipala
2017-07-27
|
|
*
Skip inappropriate postprocessing of text fields from multipart form data (fi...
Adam Chlipala
2017-07-27
|
|
*
Return to working version mode
Adam Chlipala
2017-07-20
|
|
/
|
*
Grandfathered change for release: fix extended 'val' rule in grammar
Adam Chlipala
2017-07-20
|
*
New release
Adam Chlipala
2017-07-20
|
*
Make 'static' protocol commit transactions, to force rewriting of HTML docume...
Adam Chlipala
2017-07-12
|
*
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
[next]