Skip to content

C
cpdt
Commit 76834b35 authored by Adam Chlipala's avatar Adam Chlipala
Browse files
Options

Add RSS feed

parent e17a4418
Hide whitespace changes
Inline Side-by-side
Showing with 24 additions and 0 deletions
staging/index.html
View file @ 76834b35
<html> <html>
<head> <head>
<link rel="alternate" type="application/rss+xml" title="Updates RSS Feed" href="updates.rss">
<link rel="stylesheet" type="text/css" href="/style.css"> <link rel="stylesheet" type="text/css" href="/style.css">
<title>Certified Programming with Dependent Types</title> <title>Certified Programming with Dependent Types</title>
</head><body> </head><body>
...@@ -22,6 +23,7 @@ ...@@ -22,6 +23,7 @@
<li> <a href="cpdt.pdf">Latest draft as a PDF</a></li> <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="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="cpdt.tgz">Tarball of Coq source to latest draft</a></li>
<li> <a href="updates.rss">RSS feed of updates</a></li>
</ul> </ul>
</div> </div>
......
staging/updates.rss 0 → 100644
View file @ 76834b35
<?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>
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