Mercurial > cpdt > repo
diff staging/updates.rss @ 268:f3223bde5c87
Add RSS feed
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Wed, 27 Jan 2010 07:40:03 -0500 |
parents | |
children | fd46d077b952 |
line wrap: on
line diff
--- /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>