# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1504996650 14400
# Node ID de972cc4a16b75f0e563b6186567614615a9d1d3
# Parent  75294e55678b57e62f10ade7bc57ac609648b7a4
More accurate header for course links

diff -r 75294e55678b -r de972cc4a16b staging/index.html
--- a/staging/index.html	Sat Sep 09 18:36:00 2017 -0400
+++ b/staging/index.html	Sat Sep 09 18:37:30 2017 -0400
@@ -45,7 +45,7 @@
 <div class="project">
 <h2>Use in classes</h2>
 
-<h3>Classes where CPDT is/was the primary text</h3>
+<h3>Classes where CPDT is/was a primary text</h3>
 <ul>
 <li>EECS 755 at U. Kansas <a href="http://perry.alexander.name/eecs755/">(Fall 2017)</a></li>
 <li>CS691PL at U. Mass. Amherst <a href="https://www.cs.umass.edu/~arjun/courses/cs691pl-spring2014/">(Spring 2014)</a></li>