# HG changeset patch # User Adam Chlipala # Date 1275586308 14400 # Node ID 7d0254d15b21a7ba3a3274ea94a2ccc2376742ee # Parent 56bd4a4f6e66994775e56545c812f110e7380891 New release diff -r 56bd4a4f6e66 -r 7d0254d15b21 CHANGELOG --- a/CHANGELOG Thu Jun 03 13:04:37 2010 -0400 +++ b/CHANGELOG Thu Jun 03 13:31:48 2010 -0400 @@ -1,5 +1,5 @@ ======== -Next +20100603 ======== - Changed URL escaping convention, to avoid confusing proxies. @@ -7,6 +7,8 @@ - Changed JavaScript compilation of recursive functions to use thunks. This change avoids most costs of functions not referenced on particular pages, reducing loading time dramatically. +- Support HTTP caching of application-specific JavaScript code +- Bug fixes ======== 20100506