# HG changeset patch # User Adam Chlipala # Date 1264596003 18000 # Node ID f3223bde5c87f7ca0b402d90e6e8d0e2b1d726e7 # Parent 8480a2517f19ea5398bf60f9955de2edfe601da9 Add RSS feed diff -r 8480a2517f19 -r f3223bde5c87 staging/index.html --- a/staging/index.html Wed Jan 06 10:25:31 2010 -0500 +++ b/staging/index.html Wed Jan 27 07:40:03 2010 -0500 @@ -1,5 +1,6 @@ + Certified Programming with Dependent Types @@ -22,6 +23,7 @@
  • Latest draft as a PDF
  • Online version of latest draft, as hyperlinked HTML
  • Tarball of Coq source to latest draft
    • +
  • RSS feed of updates
    • diff -r 8480a2517f19 -r f3223bde5c87 staging/updates.rss --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/staging/updates.rss Wed Jan 27 07:40:03 2010 -0500 @@ -0,0 +1,22 @@ + + + + +Certified Programming with Dependent Types updates +http://adam.chlipala.net/cpdt/ +Updates to a draft textbook + +en-us +adamc@hcoop.net +adamc@hcoop.net +http://blogs.law.harvard.edu/tech/rss + + + RSS feed created + Wed, 27 Jan 2010 07:33:34 EST + http://adam.chlipala.net/cpdt/ + adamc@hcoop.net + + + +