From f466294ad42b97ff395e9d25469b4bef8a06dbb9 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 15 May 2011 13:16:58 -0400 Subject: New release --- CHANGELOG | 17 +++++++++++++++++ doc/manual.tex | 1 + 2 files changed, 18 insertions(+) diff --git a/CHANGELOG b/CHANGELOG index c36caa3b..db6d0146 100644 --- a/CHANGELOG +++ b/CHANGELOG @@ -1,3 +1,20 @@ +======== +20110515 +======== + +- Cygwin compatibility +- Compatibility with Gentoo packaging process, including a .ebuild file +- Change typing of SQL subqueries, to indicate that they may always return NULL + (for no rows) +- Syntactic sugar for GROUP BY with variable numbers of columns + (using 'tab.{{c}}', where 'c :: {Type}') +- 'ALL' for SQL relational operators +- Add nullable types to the class for valid operands for SQL arithmetic +- 'alt' attribute for +- and HTML tags +- Allow 'debug' and 'naughtyDebug' in client-side code, implemented with 'alert' +- Bug fixes and optimization improvements + ======== 20110123 ======== diff --git a/doc/manual.tex b/doc/manual.tex index 5deb66fc..daadd37e 100644 --- a/doc/manual.tex +++ b/doc/manual.tex @@ -1565,6 +1565,7 @@ $$\begin{array}{l} \hspace{.1in} \to \mt{selectedFields} ::: \{\{\mt{Type}\}\} \\ \hspace{.1in} \to \mt{selectedExps} ::: \{\mt{Type}\} \\ \hspace{.1in} \to \mt{sql\_relop} \\ + \hspace{.1in} \to \mt{bool} \; (* \; \mt{ALL} \; *) \\ \hspace{.1in} \to \mt{sql\_query1} \; \mt{free} \; \mt{afree} \; \mt{tables1} \; \mt{selectedFields} \; \mt{selectedExps} \\ \hspace{.1in} \to \mt{sql\_query1} \; \mt{free} \; \mt{afree} \; \mt{tables2} \; \mt{selectedFields} \; \mt{selectedExps} \\ \hspace{.1in} \to \mt{sql\_query1} \; \mt{free} \; \mt{afree} \; \mt{selectedFields} \; \mt{selectedFields} \; \mt{selectedExps} -- cgit v1.2.3