# HG changeset patch # User Adam Chlipala # Date 1266074030 18000 # Node ID e1df4c63e3367a2911285664dfccfc74cd22eb2b # Parent 7a17588edbffe802db7d682dd9857ca267f7deef New release diff -r 7a17588edbff -r e1df4c63e336 CHANGELOG --- a/CHANGELOG Thu Feb 11 11:29:36 2010 -0500 +++ b/CHANGELOG Sat Feb 13 10:13:50 2010 -0500 @@ -1,3 +1,14 @@ +======== +20100213 +======== + +- Improvements to 'configure'; should now fail if any uncommon but required + package is missing +- Other fixes to configuration, build system, and C code portability +- sigfile .urp directive & -sigfile command-line option +- .urp files with no directives no longer need to begin with blank lines. +- Other bug fixes + ======== 20100130 ========