Mercurial > cpdt > repo

diff staging/index.html @ 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 fd46d077b952
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>