# HG changeset patch # User Adam Chlipala # Date 1390418276 18000 # Node ID ee34e94183a85e677f2693e9fcc0340264393269 # Parent 6ea0694afa44cb54a8a8de1326c368e5bde0b5b2 Link to class at Washington diff -r 6ea0694afa44 -r ee34e94183a8 staging/index.html --- a/staging/index.html Sat Dec 14 14:58:32 2013 -0500 +++ b/staging/index.html Wed Jan 22 14:17:56 2014 -0500 @@ -45,6 +45,7 @@

Used by: