Mercurial > urweb

comparison CHANGELOG @ 1911:7d26b96370af

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
New release
author Adam Chlipala <adam@chlipala.net>
date Sun, 24 Nov 2013 09:26:38 -0500
parents 1239ba1a1671
children b3c8860508ea
comparison
equal deleted inserted replaced
1910:0337d8aed94b 1911:7d26b96370af
1 ========
2 20131124
3 ========
4
5 - Extend 'where con' to allow descending into submodule structure
6 - Type inference improvements
7 - Treat transactional FFI functions as effectful by default,
8 so that 'effectful'/'benignEffectful' .urp directives aren't necessary
9 - Interpret 'table' signature items more flexibly,
10 automatically adding (Ur) constraints to support
11 a kind of subtyping over (SQL) constraint sets
12 - New header file scheme to support FFI code in either of C or C++
13 - New command-line arguments: -ccompiler, -print-ccompiler
14 - More HTML tags: <dd>, <dl>, <dt>, <em>, and <strong>
15 - Add 'rel' attribute to <a>
16 - New type synonym 'xhead'
17 - Refactored the development Mercurial repository to remove autogenerated files
18 - More integration with Autotools distribution functionality
19 - Improvements to documentation and compiler error messages
20 - Bug fixes and optimization improvements
21
1 ======== 22 ========
2 20130421 23 20130421
3 ======== 24 ========
4 25
5 - Allow any FFI module to declare new HTML tags 26 - Allow any FFI module to declare new HTML tags