| Thu, 28 May 2015 10:23:43 -0400 |
Adam Chlipala |
Handling overflow in integer literals (contributed by Gabriel Riba) |
| Wed, 20 May 2015 12:44:28 -0400 |
Adam Chlipala |
Return to working version mode |
| Wed, 20 May 2015 12:33:25 -0400 |
Adam Chlipala |
New release |
| Thu, 07 May 2015 09:50:37 -0400 |
Julian Squires |
Do not explicitly return false from onclick handler |
| Sun, 10 May 2015 12:56:19 -0400 |
Adam Chlipala |
Fix .sql generation to honor 'noMangleSql' in column names |
| Sun, 10 May 2015 12:13:12 -0400 |
Adam Chlipala |
Make naughtyDebug use protocol-specific logging |
| Mon, 04 May 2015 14:35:07 -0400 |
Julian Squires |
Fix XML indentation in Emacs mode |
| Tue, 05 May 2015 14:03:06 -0400 |
Julian Squires |
Treat "style" as starting an expression in urweb-mode |
| Mon, 04 May 2015 16:15:01 -0400 |
Julian Squires |
Add urweb-mode command to close current XML tag |
| Fri, 24 Apr 2015 16:21:55 -0400 |
Julian Squires |
Allow URIs specified in file directives implicitly |
| Mon, 04 May 2015 13:22:29 -0400 |
Julian Squires |
Add fieldset and legend tags |
| Sun, 03 May 2015 09:40:13 -0400 |
Adam Chlipala |
Set dummy header lookup function in static.c |
| Fri, 24 Apr 2015 10:01:56 -0400 |
Adam Chlipala |
Ignore manual.out |
| Fri, 24 Apr 2015 07:51:47 -0400 |
Julian Squires |
Allow file directives to contain slashes |
| Fri, 24 Apr 2015 07:43:22 -0400 |
Julian Squires |
Use hyperref in manual |
| Thu, 23 Apr 2015 16:37:15 -0400 |
Istvan Chung |
Fix missing SQL name-mangling in table initialization |
| Sun, 12 Apr 2015 14:28:27 -0400 |
Adam Chlipala |
Return to working version mode |
| Sun, 12 Apr 2015 14:19:02 -0400 |
Adam Chlipala |
New release |
| Tue, 07 Apr 2015 14:18:53 -0400 |
Ziv Scully |
New mouse events oncontextmenu, onmouseenter, and onmouseleave. |
| 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 |
