Mercurial > cpdt > repo

changeset 268:f3223bde5c87

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add RSS feed
author Adam Chlipala <adamc@hcoop.net>
date Wed, 27 Jan 2010 07:40:03 -0500
parents 8480a2517f19
children 191a66cd7cb5
files staging/index.html staging/updates.rss
diffstat 2 files changed, 24 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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 @@
 <html>
 <head>
+<link rel="alternate" type="application/rss+xml" title="Updates RSS Feed" href="updates.rss">
 <link rel="stylesheet" type="text/css" href="/style.css">
 <title>Certified Programming with Dependent Types</title>
 </head><body>
@@ -22,6 +23,7 @@
 <li> <a href="cpdt.pdf">Latest draft as a PDF</a></li>
 <li> <a href="html/toc.html">Online version of latest draft, as hyperlinked HTML</a></li>
 <li> <a href="cpdt.tgz">Tarball of Coq source to latest draft</a></li>
+<li> <a href="updates.rss">RSS feed of updates</a></li>
 </ul>
 </div>
 
--- /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 @@
+<?xml version="1.0" encoding="utf-8" ?>
+<rss version="2.0">
+<channel>
+
+<title>Certified Programming with Dependent Types updates</title>
+<link>http://adam.chlipala.net/cpdt/</link>
+<description>Updates to a draft textbook</description>
+
+<language>en-us</language>
+<managingEditor>adamc@hcoop.net</managingEditor>
+<webMaster>adamc@hcoop.net</webMaster>
+<docs>http://blogs.law.harvard.edu/tech/rss</docs>
+
+<item>
+        <title>RSS feed created</title>
+        <pubDate>Wed, 27 Jan 2010 07:33:34 EST</pubDate>
+        <link>http://adam.chlipala.net/cpdt/</link>
+        <author>adamc@hcoop.net</author>
+</item>
+
+</channel>
+</rss>