# HG changeset patch # User Adam Chlipala # Date 1227210674 18000 # Node ID 1834dd10dbf4925fde74739084dab74bd67ecac5 # Parent d2dfdf90b9b628997bf09517fa9c47c40c3e9793 Update CHANGELOG for 20081120 diff -r d2dfdf90b9b6 -r 1834dd10dbf4 CHANGELOG --- a/CHANGELOG Thu Nov 20 13:54:03 2008 -0500 +++ b/CHANGELOG Thu Nov 20 14:51:14 2008 -0500 @@ -1,3 +1,12 @@ +======== +20081120 +======== + +- Fix bug that sometimes led to omission of initial "" in pages +- Take advantage of nested functions in some demos +- "profile" option that may appear in .urp files, to enable gprof profiling +- "-guided-demo" option that works like "-demo" but uses less screen space for prose + ======== 20081118 ========