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 (
Collapse
)
Author
Age
*
Document hexadecimal literals
Adam Chlipala
2015-03-05
|
*
Hexadecimal integer literals, contributed by Gabriel Riba
Adam Chlipala
2015-03-05
|
*
Document new infix operators
Adam Chlipala
2015-03-05
|
*
Some new infix operators, contributed by Gabriel Riba
Adam Chlipala
2015-03-05
|
*
Support 'dynClass' and 'dynStyle' for <body>
Adam Chlipala
2015-03-03
|
*
Evaluate minus and times in MonoOpt
Adam Chlipala
2015-02-16
|
*
Add 'download' attribute to <a/>, part of HTML5
Sergey Mironov
2014-10-26
|
*
Return to working version mode
Adam Chlipala
2015-02-14
|
*
New release
Adam Chlipala
2015-02-14
|
*
The 2nd half of proper CSRF protection related to environment variables
Adam Chlipala
2015-02-12
|
*
An Emacs urweb-mode optimization contributed by John Wiegley
Adam Chlipala
2015-02-11
|
*
Merge
Adam Chlipala
2015-02-10
|
\
*
|
Fix resolution of 'file' paths
Adam Chlipala
2015-02-10
|
|
|
*
Treat getHeader and getenv as vectors for reading request data supplied ↵
Adam Chlipala
2015-02-05
|
/
|
|
|
implicitly by browsers
*
Don't allow singleton <button> tags
Adam Chlipala
2015-02-01
|
*
A new MonoReduce optimization for lifting 'let' out of field projection; ↵
Adam Chlipala
2015-02-01
|
|
|
|
JavaScript compilation for exponentiation
*
Improve wildification for records of type-class witnesses
Adam Chlipala
2015-01-28
|
*
Fix case issue in name mangling for MySQL
Adam Chlipala
2015-01-22
|
*
Reference manual: fix rendering of field removal operators
Adam Chlipala
2015-01-22
|
*
Fix a potential memory bug in fastcgi.c
Adam Chlipala
2015-01-22
|
*
Fix silly mistake from last commit; also switch away from rand() in openssl.c
Adam Chlipala
2015-01-22
|
*
Switch to using OpenSSL PRNG for the one remaining rand()
Adam Chlipala
2015-01-12
|
*
Fix arguments to PQprepare()
Adam Chlipala
2015-01-07
|
*
Return to working version mode
Adam Chlipala
2015-01-03
|
*
Fixing one small issue with changes to signature matching (grandfathered ↵
Adam Chlipala
2015-01-03
|
|
|
|
into release)
*
New release
Adam Chlipala
2015-01-03
|
*
Fix a bug in subsignature checking for submodules
Adam Chlipala
2014-12-30
|
*
Add to .hgignore
Adam Chlipala
2014-12-26
|
*
Client-side conversion of string to bool
Adam Chlipala
2014-12-25
|
*
Broaden handling of wildcard rewrites
Adam Chlipala
2014-12-24
|
*
List.mem
Adam Chlipala
2014-12-23
|
*
Improve wildify heuristic for finding record type-class witnesses
Adam Chlipala
2014-12-23
|
*
New antiquote syntax for ORDER BY
Adam Chlipala
2014-12-23
|
*
Another try at a proper fix for constraint matching in subsignature checking
Adam Chlipala
2014-12-23
|
*
Compatibility fix in header file
Adam Chlipala
2014-12-21
|
*
Fix XML syntax for closing <input> tags
Adam Chlipala
2014-12-18
|
*
Return to working version mode
Adam Chlipala
2014-12-06
|
*
New release
Adam Chlipala
2014-12-06
|
*
Move code from last changeset, to improve performance
Adam Chlipala
2014-12-05
|
*
In checking signature subsumption, be sure to try constraints last.
Adam Chlipala
2014-12-04
|
*
Optimizing writes of single characters
Adam Chlipala
2014-12-04
|
*
More aggressive inlining of 'let' with record literals, plus some changes to ↵
Adam Chlipala
2014-12-04
|
|
|
|
Monoization of queries, to make inlining more common
*
MonoOpt: remove concatenation with empty string
Adam Chlipala
2014-12-03
|
*
Some more optimization of string expressions showing up in JSON generation ↵
Adam Chlipala
2014-12-03
|
|
|
|
(Meta library)
*
Tiny lexer change for SML/NJ compatibility (suggested by Ziv Scully)
Adam Chlipala
2014-11-25
|
*
More HTML5 AJAX widgets
Adam Chlipala
2014-11-16
|
*
Textual HTML5 AJAX widgets
Adam Chlipala
2014-11-16
|
*
Some more HTML5 input types
Adam Chlipala
2014-11-16
|
*
More simple textual HTML5 input types
Adam Chlipala
2014-11-16
|
*
Remove 'value' attribute of <checkbox>
Adam Chlipala
2014-11-16
|
[next]