comparison CHANGELOG @ 1077:a3273bee05a9

Initial generalization of Especialize, with security bug known
author Adam Chlipala <adamc@hcoop.net>
date Tue, 15 Dec 2009 12:26:00 -0500
parents 0657e5adc938
children 8d3aa6c7cee0
comparison
equal deleted inserted replaced
1076:dcf98ae3c48d 1077:a3273bee05a9
5 - Reifying expressions as URLs and redirecting to them explicitly 5 - Reifying expressions as URLs and redirecting to them explicitly
6 - More syntactic sugar for SQL 6 - More syntactic sugar for SQL
7 - Typing of SQL queries no longer exposes which tables were used in joins but 7 - Typing of SQL queries no longer exposes which tables were used in joins but
8 had none of their fields projected 8 had none of their fields projected
9 - Tasks 9 - Tasks
10 - Optimization improvements
10 11
11 ======== 12 ========
12 20091203 13 20091203
13 ======== 14 ========
14 15