# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1395841940 14400
# Node ID 6f4b78ccbf372da4d78429f582637694fa041f6b
# Parent  dfe11a9ddfca7f3b768c0cff9117112940d99cc0
Add TU Vienna course link

diff -r dfe11a9ddfca -r 6f4b78ccbf37 staging/index.html
--- a/staging/index.html	Mon Mar 24 17:37:41 2014 -0400
+++ b/staging/index.html	Wed Mar 26 09:52:20 2014 -0400
@@ -58,6 +58,7 @@
 <h3>Classes where CPDT is/was a supplementary text</h3>
 <ul>
 <li>CS 565 at Purdue <a href="https://www.cs.purdue.edu/homes/gpetri/cs565-spring2014/">(Spring 2014)</a></li>
+<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>