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
commit3e3d1d1234b6f29a33e7ca480b4b90fe4116f139 (patch)
tree9c9ff6eb180d602ec313b66f991c025c10e1a7a2 /CHANGELOG
parentab13bbf764595fe6c01fcb5fe61bdf464d77f7fe (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