Skip to content

C
cpdt
Commit 13ab8570 authored by Adam Chlipala's avatar Adam Chlipala
Browse files
Options

New release

parent 10140ccb
Hide whitespace changes
Inline Side-by-side
Showing with 8 additions and 0 deletions
staging/updates.rss
View file @ 13ab8570
...@@ -11,6 +11,14 @@ ...@@ -11,6 +11,14 @@
<webMaster>adam@chlipala.net</webMaster> <webMaster>adam@chlipala.net</webMaster>
<docs>http://blogs.law.harvard.edu/tech/rss</docs> <docs>http://blogs.law.harvard.edu/tech/rss</docs>
<item>
<title>Preparing for final typesetting</title>
<pubDate>Fri, 8 Jun 2012 15:55:17 EDT</pubDate>
<link>http://adam.chlipala.net/cpdt/</link>
<author>adamc@csail.mit.edu</author>
<description>I'm getting ready for the final push to get the PDF rendering into shape to use as the final version of the book to deliver to MIT Press. I plan to get some coqdoc issues fixed, and I've undone some hack-arounds that were meant to avoid a need for coqdoc changes, in addition to some general improvements to the markup. I've also made some changes to take advantage of Coq 8.4 features.</description>
</item>
<item> <item>
<title>Some content finishing touches</title> <title>Some content finishing touches</title>
<pubDate>Sun, 22 Apr 2012 16:26:07 EDT</pubDate> <pubDate>Sun, 22 Apr 2012 16:26:07 EDT</pubDate>
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment