Mercurial > cpdt > repo

comparison staging/updates.rss @ 391:fd3f1057685c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Typo fix
author Adam Chlipala <adam@chlipala.net>
date Thu, 12 Apr 2012 18:46:55 -0400
parents fc499b720a0a
children def1a6b35ccd
comparison
equal deleted inserted replaced
390:fc499b720a0a 391:fd3f1057685c
14 <item> 14 <item>
15 <title>A number of revisions</title> 15 <title>A number of revisions</title>
16 <pubDate>Thu, 12 Apr 2012 18:42:46 EDT</pubDate> 16 <pubDate>Thu, 12 Apr 2012 18:42:46 EDT</pubDate>
17 <link>http://adam.chlipala.net/cpdt/</link> 17 <link>http://adam.chlipala.net/cpdt/</link>
18 <author>adamc@csail.mit.edu</author> 18 <author>adamc@csail.mit.edu</author>
19 <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> 19 <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>
20 </item> 20 </item>
21 21
22 <item> 22 <item>
23 <title>New Conclusion page</title> 23 <title>New Conclusion page</title>
24 <pubDate>Tue, 3 Apr 2012 15:08:37 EDT</pubDate> 24 <pubDate>Tue, 3 Apr 2012 15:08:37 EDT</pubDate>