log

age author description
Sun, 23 Mar 2014 16:47:49 -0400 Adam Chlipala ru.nl reading group
Sun, 23 Mar 2014 16:20:08 -0400 Adam Chlipala Update links to classes using the book
Thu, 06 Feb 2014 15:54:01 -0500 Adam Chlipala Link to UMass course
Sun, 02 Feb 2014 12:48:15 -0500 Adam Chlipala Fix HTML formatting bug
Sat, 25 Jan 2014 11:46:00 -0500 Adam Chlipala Cornell CS 7190 link
Wed, 22 Jan 2014 14:17:56 -0500 Adam Chlipala Link to class at Washington
Sat, 14 Dec 2013 14:58:32 -0500 Adam Chlipala Add ISBN