| Commit message (Expand) | Author | Age |
* | 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 |
| * | Add 'xhead' case to Monoize | Adam Chlipala | 2013-12-06 |
|/ |
|
* | Add monoize case for 'dml' type | Adam Chlipala | 2013-10-01 |
* | Basis.tryRpc | Adam Chlipala | 2013-04-16 |
* | Make Scriptcheck catch more script/message-passing uses, and move the phase e... | Adam Chlipala | 2013-03-15 |
* | Add more HTML singleton tags, anticipating that others may make them availabl... | Adam Chlipala | 2012-12-31 |
* | Add some name-mangling rules to allow XML attribute 'name' and attributes wit... | Adam Chlipala | 2012-12-27 |
* | Ignore polymorphism in JavaScript calls to custom FFI functions, allowing a k... | Adam Chlipala | 2012-12-11 |
* | add Placeholder attribute to <password>; change <textbox> code generation to ... | Adam Chlipala | 2012-11-30 |
* | Allow any FFI module to declare new HTML tags | Adam Chlipala | 2012-11-28 |
* | Rename Basis.exp to Basis.pow, to avoid confusion with 'expression'; add a te... | Adam Chlipala | 2012-11-28 |
* | Standard library additions: Option.unsafeGet, Basis.exp | Austin Seipp | 2012-11-28 |
* | Tweaking treatment of function application: substitute or introduce a 'let'? | Adam Chlipala | 2012-08-05 |
* | show_sql_query | Adam Chlipala | 2012-08-22 |