From 4a916000c43f1dd90211aa3bdc810539baa406b8 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 22 May 2010 14:14:02 -0400 Subject: Add thunking to CHANGELOG --- CHANGELOG | 3 +++ 1 file changed, 3 insertions(+) (limited to 'CHANGELOG') 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 -- cgit v1.2.3