changeset 391:fd3f1057685c

Typo fix
author Adam Chlipala <adam@chlipala.net>
date Thu, 12 Apr 2012 18:46:55 -0400
parents fc499b720a0a
children 4b1242b277b2
files staging/updates.rss
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/staging/updates.rss	Thu Apr 12 18:45:48 2012 -0400
+++ b/staging/updates.rss	Thu Apr 12 18:46:55 2012 -0400
@@ -16,7 +16,7 @@
         <pubDate>Thu, 12 Apr 2012 18:42:46 EDT</pubDate>
         <link>http://adam.chlipala.net/cpdt/</link>
         <author>adamc@csail.mit.edu</author>
-        <description>Stronger theorem at end of "Infinite Data and Proofs" chapter; in "Reasoning About Equality Proofs" chapter, more discussion of axiom avoidance and tactic pitfalls for JMeq; general passes through "Proof Ssearch in Ltac" and "Proving in the Large" chapters; in "Universes and Axioms" chapter, a class of baffling error messages explained; comments added to CpdtTactics.v.</description>
+        <description>Stronger theorem at end of "Infinite Data and Proofs" chapter; in "Reasoning About Equality Proofs" chapter, more discussion of axiom avoidance and tactic pitfalls for JMeq; general passes through "Proof Search in Ltac" and "Proving in the Large" chapters; in "Universes and Axioms" chapter, a class of baffling error messages explained; comments added to CpdtTactics.v.</description>
 </item>
 
 <item>