| Sat, 28 Apr 2012 12:00:35 -0400 |
Adam Chlipala |
Include JavaScript files properly in error handler pages |
| Sat, 10 Mar 2012 12:53:33 -0500 |
Adam Chlipala |
Change <radio> to yield [option string] |
| Sat, 03 Mar 2012 16:41:20 -0500 |
Adam Chlipala |
Avoid URL size limit in RPCs with large arguments |
| Sat, 07 Jan 2012 16:49:19 -0500 |
Adam Chlipala |
Finish function argument order-of-operations fix |
| Sat, 07 Jan 2012 15:56:22 -0500 |
Adam Chlipala |
First part of changes to avoid depending on C function call argument order of evaluation (omitting normal Ur function calls, so far) |
| Mon, 02 Jan 2012 17:08:39 -0500 |
Adam Chlipala |
Fix handling of quotes in generating C literals |
| Sat, 17 Dec 2011 09:24:31 -0500 |
Adam Chlipala |
Fix C-side unurlification of unboxable Option datatypes |
| Sun, 04 Dec 2011 14:40:12 -0500 |
Adam Chlipala |
timeFormat .urp directive |
