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 |
Wed, 02 Mar 2011 18:35:03 -0500 |
Adam Chlipala |
Allow debug and naughtyDebug in client-side code, implemented with alert |
Tue, 08 Feb 2011 16:54:01 -0500 |
Adam Chlipala |
Notice that Basis.now is effectful; smarter JavaScript encoding of initial source values built using server-side expressions that can't be turned into JavaScript |
Thu, 20 Jan 2011 10:40:40 -0500 |
Adam Chlipala |
Patch from Vladimir Shabanov to support implicit passing of 'time' values from server to client |
Thu, 13 Jan 2011 18:15:04 -0500 |
Adam Chlipala |
alwaysInline .urp setting |
Tue, 11 Jan 2011 18:04:52 -0500 |
Adam Chlipala |
Some more string parsing functions; naughtyDebug |
Sun, 26 Dec 2010 17:29:03 -0500 |
Adam Chlipala |
queryString and effectfulUrl |
Fri, 24 Dec 2010 18:55:13 -0500 |
Adam Chlipala |
JavaScript compilation of time comparison; fix lexing of XML that includes open parens |
Thu, 23 Dec 2010 17:46:40 -0500 |
Adam Chlipala |
[De]serialization of times in JavaScript; proper integer division in JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types |
Mon, 20 Dec 2010 09:34:10 -0500 |
Adam Chlipala |
Implement constrained type kinding properly; bump mono inline threshhold |
Sat, 11 Dec 2010 15:16:04 -0500 |
Adam Chlipala |
minHeap option in .urp files |