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
*
Slight change to venerable Nested demo, to get proper URL resolution
Adam Chlipala
2018-06-16
*
Return to working version mode
Adam Chlipala
2018-06-16
*
New release
20180616
Adam Chlipala
2018-06-16
*
Properly populate set of type classes when reusing a module from the type-inf...
Adam Chlipala
2018-06-06
*
Merge branch 'master' of ssh://github.com/urweb/urweb
Adam Chlipala
2018-06-04
|
\
*
|
Fix to recent addition of defensive unurlification
Adam Chlipala
2018-06-04
|
*
Merge pull request #126 from majorseitan/master
Adam Chlipala
2018-06-04
|
|
\
|
*
|
Merge pull request #127 from ashalkhakov/cradio
Adam Chlipala
2018-06-04
|
/
|
|
*
|
|
Fail when requesting a file cache with a database engine that won't do SHA512
Adam Chlipala
2018-06-03
*
|
|
'filecache' .urp directive, fixing a longstanding MonoUtil bug in the process
Adam Chlipala
2018-06-03
|
|
*
Merge branch 'master' into master
major seitan
2018-06-02
|
|
|
\
|
|
_
|
/
|
/
|
|
|
*
|
Multi-group test
Artyom Shalkhakov
2018-05-30
*
|
|
Remove insecure crypto function (closes #114)
Adam Chlipala
2018-05-29
|
*
|
Formatting
Artyom Shalkhakov
2018-05-28
|
*
|
Adding: cradio (support for client-side radio box).
Artyom Shalkhakov
2018-05-28
|
/
/
|
*
resolve merge conflict on test
majorseitan@blockfreie.org
2018-05-26
|
*
Handling of JSON escape characters
majorseitan@blockfreie.org
2018-05-26
*
|
A test for List.groupBy
Adam Chlipala
2018-05-21
*
|
Proper error message when the body of a 'val' declaration fails to check agai...
Adam Chlipala
2018-05-20
*
|
Merge pull request #123 from ashalkhakov/tests
Adam Chlipala
2018-05-19
|
\
\
*
|
|
More defensive unurlification of enumerations (closes #117)
Adam Chlipala
2018-05-19
|
*
|
More tests.
Artyom Shalkhakov
2018-05-15
|
*
|
Adding jsbspace for #121.
Artyom Shalkhakov
2018-05-08
|
*
|
Adding Selenium-based checking to tests.
Artyom Shalkhakov
2018-05-08
|
/
/
|
*
Handling of JSON escape characters
majorseitan@blockfreie.org
2018-04-15
*
|
Merge pull request #122 from majorseitan/master
Adam Chlipala
2018-04-15
|
\
|
|
*
Handling of JSON escape characters
majorseitan@blockfreie.org
2018-04-14
|
/
*
List.findM
Adam Chlipala
2018-04-14
*
List.existsM
Adam Chlipala
2018-04-14
*
Demo links escape frames
Adam Chlipala
2018-03-30
*
Handle empty SELECT clauses
Adam Chlipala
2018-03-13
*
Merge pull request #119 from steinuil/sqlite-fix
Adam Chlipala
2018-03-11
|
\
|
*
automatically enable foreign keys and WAL for SQLite
steinuil
2018-02-26
|
/
*
Proper handling of absolute paths for files to serve
Adam Chlipala
2018-01-08
*
README: explain need to run autogen.sh (closes #93)
Adam Chlipala
2018-01-06
*
Merge pull request #109 from vshabanov/master
Adam Chlipala
2018-01-06
|
\
|
*
dynClass() now calculates and sets class and style attributes before adding n...
Vladimir Shabanov
2017-12-13
|
*
Added oninput event to inputs which support it.
Vladimir Shabanov
2017-12-05
|
/
*
README: mention that GNU Make is required
Adam Chlipala
2017-11-18
*
Manual fix: [self] only callable on the server
Adam Chlipala
2017-11-11
*
Small tweaks to new help text
Adam Chlipala
2017-10-01
*
Merge pull request #90 from peterbb/master
Adam Chlipala
2017-10-01
|
\
*
|
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
|
*
new flag -help, and refactoring of flag parsing.
Peter Bock
2017-09-29
|
/
*
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
[next]