# HG changeset patch # User Adam Chlipala # Date 1504971730 14400 # Node ID a1093f5d7370dba76b2aa4eda33057ab52b742c7 # Parent 93471096cdd453727bfb60d90dab9933b843f2a2 Used in class at U. Kansas diff -r 93471096cdd4 -r a1093f5d7370 staging/index.html --- a/staging/index.html Sat Aug 19 12:14:40 2017 -0400 +++ b/staging/index.html Sat Sep 09 11:42:10 2017 -0400 @@ -47,6 +47,7 @@

Classes where CPDT is/was the primary text