summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-11-20 14:51:14 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-11-20 14:51:14 -0500
commit9410c6481bf34ca18e7473e92e25e8e3310dfa73 (patch)
treedbaec9039cce8873c3108436ad49487b8455ae44
parent6e2c75bb0a3e5ebf3af086f7e972ba7616d64072 (diff)
Update CHANGELOG for 20081120
-rw-r--r--CHANGELOG9
1 files changed, 9 insertions, 0 deletions
diff --git a/CHANGELOG b/CHANGELOG
index 4ce8e4c2..a9cc96db 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,4 +1,13 @@
========
+20081120
+========
+
+- Fix bug that sometimes led to omission of initial "<html>" 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
========