# HG changeset patch # User Adam Chlipala # Date 1391720041 18000 # Node ID ff7951e3134abca85ad5c70ac98910a14ab17060 # Parent 8f9f1e5b2fe3fb29f809fe17cfebd68fa19a5d62 Link to UMass course diff -r 8f9f1e5b2fe3 -r ff7951e3134a staging/index.html --- a/staging/index.html Sun Feb 02 12:48:15 2014 -0500 +++ b/staging/index.html Thu Feb 06 15:54:01 2014 -0500 @@ -45,6 +45,7 @@

Used by: