summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-05-22 14:14:02 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-05-22 14:14:02 -0400
commitf2a000b3a52cc3c998d680d00bc0d3c44dbafde9 (patch)
treec2b93e9ec3055705575b60ac1ed42a26dba68116
parent48263a78cd2f6cb0e24e400bf1fc2fa51e8c309e (diff)
Add thunking to CHANGELOG
-rw-r--r--CHANGELOG3
1 files changed, 3 insertions, 0 deletions
diff --git a/CHANGELOG b/CHANGELOG
index bad97037..bca65886 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -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