Mercurial > cpdt > repo
log src/Predicates.v
age | author | description |
---|---|---|
Fri, 15 Oct 2010 09:50:34 -0400 | Adam Chlipala | PC's Chapter 5 comments |
Tue, 12 Oct 2010 09:30:17 -0400 | Adam Chlipala | PC's Chapter 4 comments |
Wed, 11 Nov 2009 10:27:47 -0500 | Adam Chlipala | Start of MoreDep port; new [dep_destruct] based on [dependent destruction] |
Mon, 09 Nov 2009 13:18:46 -0500 | Adam Chlipala | Most old Sestoft suggestions processed |
Mon, 09 Nov 2009 11:48:27 -0500 | Adam Chlipala | Port Predicates |
Fri, 06 Nov 2009 12:15:05 -0500 | Adam Chlipala | 'make doc' works with 8.2 |