From 3e3d1d1234b6f29a33e7ca480b4b90fe4116f139 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 15 Dec 2009 12:26:00 -0500 Subject: Initial generalization of Especialize, with security bug known --- CHANGELOG | 1 + 1 file changed, 1 insertion(+) (limited to 'CHANGELOG') diff --git a/CHANGELOG b/CHANGELOG index ec2eda90..d62e732a 100644 --- a/CHANGELOG +++ b/CHANGELOG @@ -7,6 +7,7 @@ Next - Typing of SQL queries no longer exposes which tables were used in joins but had none of their fields projected - Tasks +- Optimization improvements ======== 20091203 -- cgit v1.2.3