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
/
monoize.sml
Commit message (
Expand
)
Author
Age
*
Support for <meta> tags
Adam Chlipala
2016-05-15
*
Use IS NOT DISTINCT FROM; improve Sql parser
Adam Chlipala
2016-03-12
*
Merge PVar and PWild, to get more reasonable type-class resolution
Adam Chlipala
2016-02-07
*
Merge.
Ziv Scully
2015-11-12
|
\
|
*
Change behavior of SQL equality to do the intuitive thing for nullable types
Adam Chlipala
2015-11-01
*
|
Fix another mismatch between expunger SQL generation and SQL parser.
Ziv Scully
2015-10-13
*
|
Fix SQL-parsing and declaration-ordering bugs.
Ziv Scully
2015-09-30
*
|
Pure caching sort of works.
Ziv Scully
2015-09-27
*
|
Use new refactored urlification in Sqlcache.
Ziv Scully
2015-09-21
*
|
Factor out urlification.
Ziv Scully
2015-09-21
*
|
Factor out [Monoize.Fm] to make it accessible to [Sqlcache].
Ziv Scully
2015-09-21
*
|
Revert to revision 2222.
Ziv Scully
2015-09-21
*
|
Make Mono.file a record for readability upon extension.
Ziv Scully
2015-09-13
*
|
Merge.
Ziv Scully
2015-07-19
|
\
|
|
*
Tag NULLs with their types in SQL, to help the DBMS do type inference
Adam Chlipala
2015-07-04
|
*
Do not explicitly return false from onclick handler
Julian Squires
2015-05-07
*
|
Merge.
Ziv Scully
2015-05-06
|
\
|
|
*
Fix missing SQL name-mangling in table initialization
Istvan Chung
2015-04-23
*
|
Merge.
Ziv Scully
2015-03-27
|
\
|
|
*
Support 'dynClass' and 'dynStyle' for <body>
Adam Chlipala
2015-03-03
*
|
Merge.
Ziv Scully
2014-12-11
|
\
\
*
|
|
Remove Sqlcache urlification hack.
Ziv Scully
2014-11-29
*
|
|
Basic field-resolution invalidation.
Ziv Scully
2014-11-29
*
|
|
Merge.
Ziv Scully
2014-11-24
|
\
\
\
|
|
|
*
Don't allow singleton <button> tags
Adam Chlipala
2015-02-01
|
|
|
*
Fix XML syntax for closing <input> tags
Adam Chlipala
2014-12-18
|
|
|
/
|
|
*
More aggressive inlining of 'let' with record literals, plus some changes to ...
Adam Chlipala
2014-12-04
|
|
/
|
*
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
*
|
Complete overhaul: cache queries based on immediate query result, not eventua...
Ziv Scully
2014-10-14
|
*
HTML5 input attributes: placeholder, required, autofocus; email input type (w...
Sergey Mironov
2014-10-12
|
/
*
Adds AJAX-oriented widget cpassword.
Ziv Scully
2014-08-10
*
Differentiate between HTML and normal string literals
Adam Chlipala
2014-08-01
*
'aria-*' attributes
Adam Chlipala
2014-08-01
*
'sql_injectable_prim' instance for 'url'
Adam Chlipala
2014-06-15
*
Treat <button> 'value' attribute as content of tag
Adam Chlipala
2014-06-13
*
Remove special treatment of <button>
Adam Chlipala
2014-06-09
*
Fix dynClass for non-<body> contexts
Adam Chlipala
2014-05-04
*
HTML5 data-* attributes
Adam Chlipala
2014-05-02
*
Fix a bug in GROUP BY generation [keeping within today's release]
Adam Chlipala
2014-04-26
*
noMangleSql .urp directive
Adam Chlipala
2014-01-04
*
Compile-time error for periodic tasks in nonpersistent protocols
Adam Chlipala
2013-12-29
*
Change handling of returned text blobs, to activate the normal EWrite optimiz...
Adam Chlipala
2013-12-11
*
Add show instance for 'id' type
Sergey Mironov
2013-10-07
*
Merge
Adam Chlipala
2013-12-09
|
\
*
|
Rename <activeHead> to <script> and make it work properly
Adam Chlipala
2013-12-09
*
|
activeHead: don't modify the head. just execute the code provided
Sergey Mironov
2013-12-06
*
|
Add activeHead tag.
Sergey Mironov
2013-12-06
[next]