changeset 1911:7d26b96370af

New release
author Adam Chlipala <adam@chlipala.net>
date Sun, 24 Nov 2013 09:26:38 -0500
parents 0337d8aed94b
children 006633a0039a
files CHANGELOG configure.ac
diffstat 2 files changed, 23 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/CHANGELOG	Fri Nov 22 09:48:16 2013 -0500
+++ b/CHANGELOG	Sun Nov 24 09:26:38 2013 -0500
@@ -1,3 +1,24 @@
+========
+20131124
+========
+
+- Extend 'where con' to allow descending into submodule structure
+- Type inference improvements
+- Treat transactional FFI functions as effectful by default,
+  so that 'effectful'/'benignEffectful' .urp directives aren't necessary
+- Interpret 'table' signature items more flexibly,
+  automatically adding (Ur) constraints to support
+  a kind of subtyping over (SQL) constraint sets
+- New header file scheme to support FFI code in either of C or C++
+- New command-line arguments: -ccompiler, -print-ccompiler
+- More HTML tags: <dd>, <dl>, <dt>, <em>, and <strong>
+- Add 'rel' attribute to <a>
+- New type synonym 'xhead'
+- Refactored the development Mercurial repository to remove autogenerated files
+- More integration with Autotools distribution functionality
+- Improvements to documentation and compiler error messages
+- Bug fixes and optimization improvements
+
 ========
 20130421
 ========
--- a/configure.ac	Fri Nov 22 09:48:16 2013 -0500
+++ b/configure.ac	Sun Nov 24 09:26:38 2013 -0500
@@ -1,5 +1,5 @@
-AC_INIT([urweb], [20130421])
-WORKING_VERSION=1
+AC_INIT([urweb], [20131124])
+WORKING_VERSION=0
 AC_USE_SYSTEM_EXTENSIONS
 
 # automake 1.12 requires this, but automake 1.11 doesn't recognize it