# HG changeset patch # User Adam Chlipala # Date 1273920281 14400 # Node ID 806420cf7a2ffcfb9bf6de5813ac07e4777111b7 # Parent a636eda0217602c822e0ca23f1460e526ccd8e2b Update RSS feed diff -r a636eda02176 -r 806420cf7a2f staging/updates.rss --- a/staging/updates.rss Sat May 15 06:42:05 2010 -0400 +++ b/staging/updates.rss Sat May 15 06:44:41 2010 -0400 @@ -12,6 +12,13 @@ http://blogs.law.harvard.edu/tech/rss + A few small typo fixes + Sat, 15 May 2010 06:42:47 EDT + http://adam.chlipala.net/cpdt/ + adam@chlipala.net + + + Fix table of contents and mention another command needed to enter Chapter 2's code literally Wed, 3 Feb 2010 08:16:16 EST http://adam.chlipala.net/cpdt/