diff options
author | Adam Chlipala <adamc@hcoop.net> | 2010-05-22 14:14:02 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2010-05-22 14:14:02 -0400 |
commit | f2a000b3a52cc3c998d680d00bc0d3c44dbafde9 (patch) | |
tree | c2b93e9ec3055705575b60ac1ed42a26dba68116 | |
parent | 48263a78cd2f6cb0e24e400bf1fc2fa51e8c309e (diff) |
Add thunking to CHANGELOG
-rw-r--r-- | CHANGELOG | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -4,6 +4,9 @@ Next - Changed URL escaping convention, to avoid confusing proxies. The new convention is like the normal one, but with '.' instead of '%'. +- 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. ======== 20100506 |