# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1539959255 14400
# Node ID 1a231194d164151afe91cfa593dbacdf73288764
# Parent  7020e5a4af9689909bede9da4e5b69fbafa22a55
Two new courses

diff -r 7020e5a4af96 -r 1a231194d164 staging/index.html
--- a/staging/index.html	Mon Sep 17 19:50:48 2018 -0400
+++ b/staging/index.html	Fri Oct 19 10:27:35 2018 -0400
@@ -59,6 +59,8 @@
 
 <h3>Classes where CPDT is/was a supplementary text</h3>
 <ul>
+<li>ITP at U. T&uuml;bingen <a href="http://ps.informatik.uni-tuebingen.de/teaching/ws18/itp/">(Winter 2018/2019)</a></li>
+<li>CS410 at Portland State (<a href="http://web.cecs.pdx.edu/~apt/cs510coq/">Fall 2018</a>, Spring 2013)</li>
 <li>CSI 5137 at U. Ottawa (<a href="http://www.site.uottawa.ca/~afelty/csi5137/">Fall 2018</a>)</li>
 <li>6.822 at MIT (<a href="https://frap.csail.mit.edu/">Spring 2018</a>, Spring 2017, Spring 2016)</li>
 <li>CS 6115 at Cornell <a href="http://www.cs.cornell.edu/courses/cs6115/2017fa/">(Fall 2017)</a></li>
@@ -73,7 +75,6 @@
 <li>185.A60 at TU Vienna <a href="https://tiss.tuwien.ac.at/course/courseDetails.xhtml?windowId=ddd&courseNr=185A60&semester=2014S">(Spring 2014)</a></li>
 <li>CMPS203 at UC Santa Cruz <a href="http://courses.soe.ucsc.edu/courses/cmps203/Winter14/01">(Winter 2014)</a></li>
 <li>CS 430 at Yale <a href="http://flint.cs.yale.edu/cs430/info.html">(Fall 2013)</a></li>
-<li>CS410 at Portland State <a href="http://web.cecs.pdx.edu/~apt/cs510coq/">(Spring 2013)</a></li>
 <li>IFT 6172 at U. Montreal <a href="http://www.iro.umontreal.ca/~monnier/6172/">(Spring 2013)</a></li>
 <li>TIES341 at U. Jyv&auml;skyl&auml; <a href="http://functional-programming.it.jyu.fi/TIES343/TIES341.html">(Spring 2013)</a></li>
 <li>CMPT 340 at U. Saskatchewan (Spring 2012)</li>