# HG changeset patch # User Adam Chlipala # Date 1315860463 14400 # Node ID 6838c7be18fa94772a7655415d8c9923e9c38559 # Parent 70e51e8cfce7fb4ff47e89d241510c032e9c0475 New release diff -r 70e51e8cfce7 -r 6838c7be18fa staging/updates.rss --- a/staging/updates.rss Mon Sep 12 16:42:51 2011 -0400 +++ b/staging/updates.rss Mon Sep 12 16:47:43 2011 -0400 @@ -12,6 +12,13 @@ http://blogs.law.harvard.edu/tech/rss + A pass through Chapter 3 + Mon, 12 Sep 2011 16:47:12 EDT + http://adam.chlipala.net/cpdt/ + adamc@csail.mit.edu + + + Renamed "Tactics" module to "CpdtTactics" Wed, 7 Sep 2011 13:45:31 EDT http://adam.chlipala.net/cpdt/