Mercurial > cpdt > repo

comparison 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
comparison
equal deleted inserted replaced
267:8480a2517f19 268:f3223bde5c87
1 <html> 1 <html>
2 <head> 2 <head>
3 <link rel="alternate" type="application/rss+xml" title="Updates RSS Feed" href="updates.rss">
3 <link rel="stylesheet" type="text/css" href="/style.css"> 4 <link rel="stylesheet" type="text/css" href="/style.css">
4 <title>Certified Programming with Dependent Types</title> 5 <title>Certified Programming with Dependent Types</title>
5 </head><body> 6 </head><body>
6 <h1>Certified Programming with Dependent Types</h1> 7 <h1>Certified Programming with Dependent Types</h1>
7 <h2><a href="http://adam.chlipala.net/">Adam Chlipala</a></h2> 8 <h2><a href="http://adam.chlipala.net/">Adam Chlipala</a></h2>
20 <h2>Distribution Formats</h2> 21 <h2>Distribution Formats</h2>
21 <ul> 22 <ul>
22 <li> <a href="cpdt.pdf">Latest draft as a PDF</a></li> 23 <li> <a href="cpdt.pdf">Latest draft as a PDF</a></li>
23 <li> <a href="html/toc.html">Online version of latest draft, as hyperlinked HTML</a></li> 24 <li> <a href="html/toc.html">Online version of latest draft, as hyperlinked HTML</a></li>
24 <li> <a href="cpdt.tgz">Tarball of Coq source to latest draft</a></li> 25 <li> <a href="cpdt.tgz">Tarball of Coq source to latest draft</a></li>
26 <li> <a href="updates.rss">RSS feed of updates</a></li>
25 </ul> 27 </ul>
26 </div> 28 </div>
27 29
28 <div class="project"> 30 <div class="project">
29 <h2>Used by:</h2> 31 <h2>Used by:</h2>