diff staging/index.html @ 557:de972cc4a16b

More accurate header for course links
author Adam Chlipala <adam@chlipala.net>
date Sat, 09 Sep 2017 18:37:30 -0400
parents 75294e55678b
children cbe6d5ad3e13
line wrap: on
line diff
--- 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>