# HG changeset patch # User Adam Chlipala # Date 1227032924 18000 # Node ID e30c135482b398d45756c1d3a48aea6fe2b63a35 # Parent 423a054646ec6b88b35d7e44a6a64cee0606e918 Tag CHANGELOG with release number diff -r 423a054646ec -r e30c135482b3 CHANGELOG --- a/CHANGELOG Tue Nov 18 13:27:33 2008 -0500 +++ b/CHANGELOG Tue Nov 18 13:28:44 2008 -0500 @@ -1,5 +1,5 @@ ======== -NEXT +20081118 ======== - Nested function definitions