# HG changeset patch # User Adam Chlipala # Date 1357508241 18000 # Node ID f2286f6512f8472f71ea2531a389f65c264f7afc # Parent 2d66421b8aa115549cf48a95a732fa07b001fe67 New release diff -r 2d66421b8aa1 -r f2286f6512f8 staging/updates.rss --- a/staging/updates.rss Sun Jan 06 16:34:22 2013 -0500 +++ b/staging/updates.rss Sun Jan 06 16:37:21 2013 -0500 @@ -13,6 +13,14 @@ Batch of changes based on proofreader feedback + Sun, 6 Jan 2013 16:34:49 EST + http://adam.chlipala.net/cpdt/ + adamc@csail.mit.edu + Thanks to everyone who is helping with the final proofreading! + + + + Batch of changes based on proofreader feedback Fri, 30 Nov 2012 11:57:14 EST http://adam.chlipala.net/cpdt/ adamc@csail.mit.edu