Mercurial > cpdt > repo
log
age | author | description |
---|---|---|
Mon, 18 Dec 2017 17:05:53 -0500 | Adam Chlipala | MIT 6.822 |
Fri, 10 Nov 2017 19:02:44 -0500 | Adam Chlipala | Two more users |
Fri, 10 Nov 2017 18:49:56 -0500 | Adam Chlipala | Two more classes seemingly going on now |
Tue, 17 Oct 2017 21:14:14 -0400 | Adam Chlipala | Link to Harvard CS260r |