| Thu, 12 Dec 2013 17:42:48 -0500 |
Adam Chlipala |
Start SQL transactions as read-only when possible, based on conservative program analysis |
| Wed, 17 Jul 2013 10:48:31 -0400 |
Adam Chlipala |
Make that error message even more helpful |
| Wed, 17 Jul 2013 10:40:13 -0400 |
Adam Chlipala |
Make that new error message text a bit more accurate |
| Wed, 17 Jul 2013 10:35:43 -0400 |
Adam Chlipala |
Tweak error message about naughty GET handlers |
| Tue, 16 Apr 2013 10:55:48 -0400 |
Adam Chlipala |
Basis.tryRpc |
| Fri, 18 Mar 2011 09:46:24 -0400 |
Adam Chlipala |
Fix soundness bug in Effectize, which lead to missing effects in event handlers |
| Thu, 10 Mar 2011 20:22:03 -0500 |
Adam Chlipala |
Ignore JavaScript events in Effectize; allow extra spaces for 'jsFunc'; eat carriage returns at line ends in .urp files |
| Sun, 26 Dec 2010 17:29:03 -0500 |
Adam Chlipala |
queryString and effectfulUrl |
