# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1274552042 14400
# Node ID 04e9885cbe56aec64e5aea3f447318492b96f846
# Parent  25ebd8c4fafb07ef47720b80d9a55f9d6a7712b2
Add thunking to CHANGELOG

diff -r 25ebd8c4fafb -r 04e9885cbe56 CHANGELOG
--- a/CHANGELOG	Sat May 22 14:09:06 2010 -0400
+++ b/CHANGELOG	Sat May 22 14:14:02 2010 -0400
@@ -4,6 +4,9 @@
 
 - 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