Mercurial > cpdt > repo

annotate staging/updates.rss @ 375:d1276004eec9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Finish pass over LogicProg; change [crush] to take advantage of new [Hint Rewrite] syntax that uses database [core] by default
author Adam Chlipala <adam@chlipala.net>
date Mon, 26 Mar 2012 16:55:59 -0400
parents e0c5b91e2968
children 3b36b1e05b4e
rev   line source
adamc@268 1 <?xml version="1.0" encoding="utf-8" ?>
adamc@268 2 <rss version="2.0">
adamc@268 3 <channel>
adamc@268 4
adamc@268 5 <title>Certified Programming with Dependent Types updates</title>
adamc@268 6 <link>http://adam.chlipala.net/cpdt/</link>
adamc@268 7 <description>Updates to a draft textbook</description>
adamc@268 8
adamc@268 9 <language>en-us</language>
adamc@270 10 <managingEditor>adam@chlipala.net</managingEditor>
adamc@270 11 <webMaster>adam@chlipala.net</webMaster>
adamc@268 12 <docs>http://blogs.law.harvard.edu/tech/rss</docs>
adamc@268 13
adamc@268 14 <item>
adam@368 15 <title>A pass through "Proving in the Large"</title>
adam@368 16 <pubDate>Wed, 9 Nov 2011 15:25:42 EST</pubDate>
adam@368 17 <link>http://adam.chlipala.net/cpdt/</link>
adam@368 18 <author>adamc@csail.mit.edu</author>
adam@368 19 </item>
adam@368 20
adam@368 21 <item>
adam@365 22 <title>A pass through "Reasoning About Equality Proofs"</title>
adam@365 23 <pubDate>Sun, 6 Nov 2011 16:50:59 EST</pubDate>
adam@365 24 <link>http://adam.chlipala.net/cpdt/</link>
adam@365 25 <author>adamc@csail.mit.edu</author>
adam@365 26 <description>I've added a new discussion of the reduction behavior of "fix" and "cofix" terms.</description>
adam@365 27 </item>
adam@365 28
adam@365 29 <item>
adam@361 30 <title>A pass through "Proof by Reflection"</title>
adam@361 31 <pubDate>Wed, 2 Nov 2011 16:22:00 EDT</pubDate>
adam@361 32 <link>http://adam.chlipala.net/cpdt/</link>
adam@361 33 <author>adamc@csail.mit.edu</author>
adam@361 34 <description>I've added a new subsection on reification of term syntax with Ltac, in a way that preserves equality between uninterpreted subterms.</description>
adam@361 35 </item>
adam@361 36
adam@361 37 <item>
adam@358 38 <title>A pass through "Generic Programming"</title>
adam@358 39 <pubDate>Mon, 31 Oct 2011 14:23:29 EDT</pubDate>
adam@358 40 <link>http://adam.chlipala.net/cpdt/</link>
adam@358 41 <author>adamc@csail.mit.edu</author>
adam@358 42 </item>
adam@358 43
adam@358 44 <item>
adam@357 45 <title>New chapter: "General Recursion"</title>
adam@357 46 <pubDate>Fri, 28 Oct 2011 18:25:46 EDT</pubDate>
adam@357 47 <link>http://adam.chlipala.net/cpdt/</link>
adam@357 48 <author>adamc@csail.mit.edu</author>
adam@357 49 </item>
adam@357 50
adam@357 51 <item>
adam@347 52 <title>A pass through "Infinite Data and Proofs"</title>
adam@347 53 <pubDate>Sun, 23 Oct 2011 14:47:55 EDT</pubDate>
adam@347 54 <link>http://adam.chlipala.net/cpdt/</link>
adam@347 55 <author>adamc@csail.mit.edu</author>
adam@347 56 <description>I've added new discussion of co-induction principles and replaced the programming language semantics example.</description>
adam@347 57 </item>
adam@347 58
adam@347 59 <item>
adam@345 60 <title>A pass through "Universes and Axioms"</title>
adam@345 61 <pubDate>Wed, 19 Oct 2011 09:58:57 EDT</pubDate>
adam@345 62 <link>http://adam.chlipala.net/cpdt/</link>
adam@345 63 <author>adamc@csail.mit.edu</author>
adam@345 64 <description>I've added a new section on avoiding axioms.</description>
adam@345 65 </item>
adam@345 66
adam@345 67 <item>
adam@342 68 <title>A pass through "Dependent Data Structures"</title>
adam@342 69 <pubDate>Sun, 16 Oct 2011 10:45:48 EDT</pubDate>
adam@342 70 <link>http://adam.chlipala.net/cpdt/</link>
adam@342 71 <author>adamc@csail.mit.edu</author>
adam@342 72 </item>
adam@342 73
adam@342 74 <item>
adam@338 75 <title>A pass through "More Dependent Types"</title>
adam@338 76 <pubDate>Mon, 10 Oct 2011 15:59:55 EDT</pubDate>
adam@338 77 <link>http://adam.chlipala.net/cpdt/</link>
adam@338 78 <author>adamc@csail.mit.edu</author>
adam@338 79 </item>
adam@338 80
adam@338 81 <item>
adam@336 82 <title>A pass through "Subset Types and Variations"</title>
adam@336 83 <pubDate>Wed, 5 Oct 2011 11:32:54 EDT</pubDate>
adam@336 84 <link>http://adam.chlipala.net/cpdt/</link>
adam@336 85 <author>adamc@csail.mit.edu</author>
adam@336 86 </item>
adam@336 87
adam@336 88 <item>
adam@333 89 <title>New Match exercises; remove Part IV</title>
adam@333 90 <pubDate>Mon, 3 Oct 2011 11:18:27 EDT</pubDate>
adam@333 91 <link>http://adam.chlipala.net/cpdt/</link>
adam@333 92 <author>adamc@csail.mit.edu</author>
adam@333 93 <description>The old Part IV is still present in old versions available through the public Mercurial repository.</description>
adam@333 94 </item>
adam@333 95
adam@333 96 <item>
adam@325 97 <title>New chapter on logic programing</title>
adam@325 98 <pubDate>Thu, 22 Sep 2011 11:08:30 EDT</pubDate>
adam@325 99 <link>http://adam.chlipala.net/cpdt/</link>
adam@325 100 <author>adamc@csail.mit.edu</author>
adam@325 101 <description>Some new content is missing prose.</description>
adam@325 102 </item>
adam@325 103
adam@325 104 <item>
adam@322 105 <title>A pass through Chapter 4</title>
adam@322 106 <pubDate>Mon, 19 Sep 2011 14:03:40 EDT</pubDate>
adam@322 107 <link>http://adam.chlipala.net/cpdt/</link>
adam@322 108 <author>adamc@csail.mit.edu</author>
adam@322 109 </item>
adam@322 110
adam@322 111 <item>
adam@321 112 <title>Added a public Mercurial repository with the book source</title>
adam@321 113 <pubDate>Wed, 14 Sep 2011 14:01:23 EDT</pubDate>
adam@321 114 <link>http://adam.chlipala.net/cpdt/repo</link>
adam@321 115 <author>adamc@csail.mit.edu</author>
adam@321 116 </item>
adam@321 117
adam@321 118 <item>
adam@319 119 <title>A pass through Chapter 3</title>
adam@319 120 <pubDate>Mon, 12 Sep 2011 16:47:12 EDT</pubDate>
adam@319 121 <link>http://adam.chlipala.net/cpdt/</link>
adam@319 122 <author>adamc@csail.mit.edu</author>
adam@319 123 </item>
adam@319 124
adam@319 125 <item>
adam@314 126 <title>Renamed "Tactics" module to "CpdtTactics"</title>
adam@314 127 <pubDate>Wed, 7 Sep 2011 13:45:31 EDT</pubDate>
adam@314 128 <link>http://adam.chlipala.net/cpdt/</link>
adam@314 129 <author>adamc@csail.mit.edu</author>
adam@314 130 <description>This avoids a name clash with a module included with Coq.</description>
adam@314 131 </item>
adam@314 132
adam@314 133 <item>
adam@313 134 <title>A pass through Chapter 2</title>
adam@313 135 <pubDate>Thu, 1 Sep 2011 11:32:42 EDT</pubDate>
adam@313 136 <link>http://adam.chlipala.net/cpdt/</link>
adam@313 137 <author>adamc@csail.mit.edu</author>
adam@313 138 <description>I've removed some material on dependent pattern-matching but not yet compensated by adding it back in somewhere else.</description>
adam@313 139 </item>
adam@313 140
adam@313 141 <item>
adam@308 142 <title>A pass through Chapter 1</title>
adam@308 143 <pubDate>Thu, 25 Aug 2011 14:47:30 EDT</pubDate>
adam@308 144 <link>http://adam.chlipala.net/cpdt/</link>
adam@308 145 <author>adamc@csail.mit.edu</author>
adam@308 146 <description>I've started passes through all chapters, with an eye toward getting ready both for <a href="http://stellar.mit.edu/S/course/6/fa11/6.892/">my fall class</a> and publication by MIT Press. I'm adding bibliographic references, index entries, and additional exercises, along with the usual tweaks and improvements. The version I've just put up is the result of a pass through Chapter 1. Feedback is especially welcome now, as I get the book into final publishable shape!</description>
adam@308 147 </item>
adam@308 148
adam@308 149 <item>
adam@303 150 <title>Tweaks to recent update to satisfy coqdoc 8.3</title>
adam@303 151 <pubDate>Tue, 18 Jan 2011 08:15:00 EST</pubDate>
adam@303 152 <link>http://adam.chlipala.net/cpdt/</link>
adam@303 153 <author>adam@chlipala.net</author>
adam@303 154 </item>
adam@303 155
adam@303 156 <item>
adam@299 157 <title>Updated to work with both Coq 8.3 and Coq 8.2</title>
adam@299 158 <pubDate>Fri, 14 Jan 2011 15:39:00 EST</pubDate>
adam@299 159 <link>http://adam.chlipala.net/cpdt/</link>
adam@299 160 <author>adam@chlipala.net</author>
adam@299 161 </item>
adam@299 162
adam@299 163 <item>
adam@293 164 <title>A significant revision pass, based on extensive feedback kindly provided by Pierre Castéran</title>
adam@293 165 <pubDate>Wed, 10 Nov 2010 16:33:49 EST</pubDate>
adam@293 166 <link>http://adam.chlipala.net/cpdt/</link>
adam@293 167 <author>adam@chlipala.net</author>
adam@293 168 </item>
adam@293 169
adam@293 170 <item>
adam@276 171 <title>Mention that recent versions of Coq allow some omitted "match" cases</title>
adam@276 172 <pubDate>Mon, 28 Jun 2010 07:59:29 EDT</pubDate>
adam@276 173 <link>http://adam.chlipala.net/cpdt/</link>
adam@276 174 <author>adam@chlipala.net</author>
adam@276 175 </item>
adam@276 176
adam@276 177 <item>
adamc@274 178 <title>A few small typo fixes</title>
adamc@274 179 <pubDate>Sat, 15 May 2010 06:42:47 EDT</pubDate>
adamc@274 180 <link>http://adam.chlipala.net/cpdt/</link>
adamc@274 181 <author>adam@chlipala.net</author>
adamc@274 182 </item>
adamc@274 183
adamc@274 184 <item>
adamc@270 185 <title>Fix table of contents and mention another command needed to enter Chapter 2's code literally</title>
adamc@270 186 <pubDate>Wed, 3 Feb 2010 08:16:16 EST</pubDate>
adamc@270 187 <link>http://adam.chlipala.net/cpdt/</link>
adamc@270 188 <author>adam@chlipala.net</author>
adamc@270 189 </item>
adamc@270 190
adamc@270 191 <item>
adamc@268 192 <title>RSS feed created</title>
adamc@268 193 <pubDate>Wed, 27 Jan 2010 07:33:34 EST</pubDate>
adamc@268 194 <link>http://adam.chlipala.net/cpdt/</link>
adamc@270 195 <author>adam@chlipala.net</author>
adamc@268 196 </item>
adamc@268 197
adamc@268 198 </channel>
adamc@268 199 </rss>