| Sun, 08 Mar 2015 11:12:28 -0400 |
Adam Chlipala |
Make flattening of reactive HTML trees iterative instead of recursive, to avoid stack overflows |
| Sun, 08 Mar 2015 11:05:54 -0400 |
Adam Chlipala |
Fix dynClass JavaScript reversion |
| Sun, 08 Mar 2015 10:55:05 -0400 |
Adam Chlipala |
Fix interpretation of 'file' argument paths |
| Fri, 06 Mar 2015 09:46:21 -0500 |
Adam Chlipala |
Change MonoReduce to do fixed-pointing, since it sometimes enables more optimizations for itself (e.g., yanking lambdas out of [case]s) |
| Thu, 05 Mar 2015 15:05:53 -0500 |
Adam Chlipala |
Document hexadecimal literals |
| Thu, 05 Mar 2015 15:03:04 -0500 |
Adam Chlipala |
Hexadecimal integer literals, contributed by Gabriel Riba |
| Thu, 05 Mar 2015 14:58:34 -0500 |
Adam Chlipala |
Document new infix operators |
| Thu, 05 Mar 2015 14:50:31 -0500 |
Adam Chlipala |
Some new infix operators, contributed by Gabriel Riba |
| Tue, 03 Mar 2015 15:55:00 -0500 |
Adam Chlipala |
Support 'dynClass' and 'dynStyle' for <body> |
| Mon, 16 Feb 2015 14:52:56 -0500 |
Adam Chlipala |
Evaluate minus and times in MonoOpt |
| Sun, 26 Oct 2014 14:07:07 +0000 |
Sergey Mironov |
Add 'download' attribute to <a/>, part of HTML5 |
| Sat, 14 Feb 2015 08:27:50 -0500 |
Adam Chlipala |
Return to working version mode |
