| Fri, 18 Nov 2011 17:17:22 -0500 |
Adam Chlipala |
Regenerate proper Autotools files; fix JS stringToTime and add stringToTime_error |
| Thu, 17 Nov 2011 17:14:44 +0100 |
Ron de Bruijn |
Add read instance for time on the client |
| Mon, 14 Nov 2011 09:15:10 -0500 |
Adam Chlipala |
Better error messages about server-side use of client-side functions |
| Sat, 08 Oct 2011 17:23:58 -0400 |
Adam Chlipala |
Primitive int/float functions: ceil, float, round, trunc |
| Sun, 11 Sep 2011 14:14:49 -0400 |
Adam Chlipala |
New Basis functions: preventDefault and stopPropagation (code contributed by Vladimir Shabanov) |
| Sat, 03 Sep 2011 12:51:05 -0400 |
Adam Chlipala |
An abstract type of IDs |
| Sat, 03 Sep 2011 11:48:12 -0400 |
Adam Chlipala |
New client-side, document-level event handlers |
| Sun, 24 Jul 2011 14:49:40 -0400 |
Adam Chlipala |
Client-side 'addSeconds' |
| Fri, 22 Jul 2011 15:39:38 -0400 |
Adam Chlipala |
Backpedal on tutorial-motivated urweb-mode changes; add Basis.diffInSeconds and Basis.toSeconds |
| Wed, 06 Jul 2011 08:35:31 -0400 |
Adam Chlipala |
Add client-side Basis.now and pretty-printing of times |
| Fri, 24 Jun 2011 13:50:59 -0400 |
Adam Chlipala |
'noXsrfProtection' .urp directive |
| Wed, 01 Jun 2011 07:23:27 -0400 |
Adam Chlipala |
Handle 'prefix' directives for HTTPS |
| Sun, 29 May 2011 14:29:26 -0400 |
Adam Chlipala |
getHeader and setHeader |
| 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 |
