index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
settings.sml
Commit message (
Expand
)
Author
Age
*
Use IS NOT DISTINCT FROM; improve Sql parser
Adam Chlipala
2016-03-12
*
Untagle boot and static flags
Eran Meir
2016-01-02
*
Merge Sqlcache
Adam Chlipala
2015-12-20
|
\
*
|
New .urp directive: jsFile
Adam Chlipala
2015-12-05
*
|
Make daemon mode support sharing of libraries across projects
Adam Chlipala
2015-11-22
|
*
Tweak cache consolidation and choose better default.
Ziv Scully
2015-11-20
|
*
Add consolidation heuristic options.
Ziv Scully
2015-11-19
|
*
Merge.
Ziv Scully
2015-11-12
|
|
\
|
|
/
|
/
|
*
|
JavaScript versions of a few more functions
Adam Chlipala
2015-11-01
*
|
Basis.fromMilliseconds
Adam Chlipala
2015-11-01
|
*
Merge.
Ziv Scully
2015-10-19
|
|
\
|
|
/
|
/
|
*
|
Allow duplicate 'file' directives if paths normalize to same value
Adam Chlipala
2015-10-18
|
*
Hard-code Sqlcache module (in Ur/Web) as effectful and reorder sqlcache.sml.
Ziv Scully
2015-10-14
|
*
Merge.
Ziv Scully
2015-09-12
|
|
\
|
|
/
|
/
|
*
|
Beautify '-h' output for web servers
Adam Chlipala
2015-08-20
|
*
Merge.
Ziv Scully
2015-05-06
|
|
\
|
|
/
|
/
|
*
|
Allow file directives to contain slashes
Julian Squires
2015-04-24
*
|
New mouse events oncontextmenu, onmouseenter, and onmouseleave.
Ziv Scully
2015-04-07
|
*
New mouse events oncontextmenu, onmouseenter, and onmouseleave.
Ziv Scully
2015-04-07
|
*
Merge.
Ziv Scully
2015-03-27
|
|
\
|
|
/
|
/
|
*
|
Fix interpretation of 'file' argument paths
Adam Chlipala
2015-03-08
*
|
Fix case issue in name mangling for MySQL
Adam Chlipala
2015-01-22
*
|
Client-side conversion of string to bool
Adam Chlipala
2014-12-25
*
|
Broaden handling of wildcard rewrites
Adam Chlipala
2014-12-24
|
*
Complete overhaul: cache queries based on immediate query result, not eventua...
Ziv Scully
2014-10-14
|
/
*
New .urp directive: file
Adam Chlipala
2014-07-31
*
Added javascript for Basis.strsindex
Samuel Dukhovni
2014-07-28
*
Allow '+' char in blessMime
Sergey Mironov
2014-06-05
*
New lessSafeFfi
Adam Chlipala
2014-05-02
*
HTML5 data-* attributes
Adam Chlipala
2014-05-02
*
Add Datetime JavaScript support.
Patrick Hurst
2014-02-17
*
neverInline
Adam Chlipala
2014-02-09
*
Stop quoting Postgres identifiers in 'noMangleSql' mode
Adam Chlipala
2014-01-15
*
Add 'html5' .urp directive
Adam Chlipala
2014-01-09
*
noMangleSql .urp directive
Adam Chlipala
2014-01-04
*
Add some URL-related benignEffectful functions
Adam Chlipala
2014-01-01
*
Add JavaScript mappings for isprint and ord
Adam Chlipala
2013-12-09
*
Make transactional FFI functions effectful by default
Adam Chlipala
2013-10-10
*
Add -ccompiler command line argument
Sergey Mironov
2013-08-20
*
Reduce default inlining thresholds; improve a let-substitution optimization t...
Adam Chlipala
2012-09-14
*
Basis.getenv
Adam Chlipala
2012-08-02
*
Add more global mouse event hooks
Adam Chlipala
2012-07-23
*
Top.postFields
Adam Chlipala
2012-07-21
*
Basis.giveFocus
Adam Chlipala
2012-07-21
*
New event records for key and mouse handlers
Adam Chlipala
2012-07-21
*
Lighter-weight encoding of window function use
Adam Chlipala
2012-06-03
*
Partitioning and ordering for window functions
Adam Chlipala
2012-06-02
*
Run-time CSS style validation
Adam Chlipala
2012-05-06
*
New optional suffice for 'rewrite' in .urp files: [-]
Adam Chlipala
2012-05-06
*
Add support for -boot flag, which allows in-tree execution of Ur/Web
Edward Z. Yang
2012-05-02
[next]