# HG changeset patch # User Adam Chlipala # Date 1314891235 14400 # Node ID 44f9ca08e1732406235027b5d8281bb0046e37dd # Parent 495153a418193286c4c29aadd74f78ef7f84aac9 New release diff -r 495153a41819 -r 44f9ca08e173 staging/updates.rss --- a/staging/updates.rss Thu Sep 01 11:32:15 2011 -0400 +++ b/staging/updates.rss Thu Sep 01 11:33:55 2011 -0400 @@ -12,6 +12,14 @@ http://blogs.law.harvard.edu/tech/rss + A pass through Chapter 2 + Thu, 1 Sep 2011 11:32:42 EDT + http://adam.chlipala.net/cpdt/ + adamc@csail.mit.edu + I've removed some material on dependent pattern-matching but not yet compensated by adding it back in somewhere else. + + + A pass through Chapter 1 Thu, 25 Aug 2011 14:47:30 EDT http://adam.chlipala.net/cpdt/