summaryrefslogtreecommitdiff
path: root/CHANGELOG
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-12-15 12:26:00 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-12-15 12:26:00 -0500
commita2200ffa7ced3b1608782215c3a93b276a5964bb (patch)
tree9c9ff6eb180d602ec313b66f991c025c10e1a7a2 /CHANGELOG
parenta461a7ac0a6f9452a46b96182085a4f5e2fe5e6e (diff)
Initial generalization of Especialize, with security bug known
Diffstat (limited to 'CHANGELOG')
-rw-r--r--CHANGELOG1
1 files changed, 1 insertions, 0 deletions
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