# HG changeset patch # User Adam Chlipala # Date 1317655152 14400 # Node ID c27d97176c85fbd74e594c4129fdf99f8a85cacb # Parent 4a432659a698332714f8b9144dc421b4bd9211e1 New release diff -r 4a432659a698 -r c27d97176c85 staging/updates.rss --- a/staging/updates.rss Mon Oct 03 11:15:51 2011 -0400 +++ b/staging/updates.rss Mon Oct 03 11:19:12 2011 -0400 @@ -12,6 +12,14 @@ http://blogs.law.harvard.edu/tech/rss + New Match exercises; remove Part IV + Mon, 3 Oct 2011 11:18:27 EDT + http://adam.chlipala.net/cpdt/ + adamc@csail.mit.edu + The old Part IV is still present in old versions available through the public Mercurial repository. + + + New chapter on logic programing Thu, 22 Sep 2011 11:08:30 EDT http://adam.chlipala.net/cpdt/