Mercurial > cpdt > repo
log
age | author | description |
---|---|---|
Mon, 07 Dec 2009 10:54:43 -0500 | Adam Chlipala | More anti-patterns |
Fri, 04 Dec 2009 16:58:30 -0500 | Adam Chlipala | First part of 'Ltac Anti-Patterns' |
Fri, 04 Dec 2009 13:44:05 -0500 | Adam Chlipala | Uncommented functor example |
Mon, 30 Nov 2009 15:41:51 -0500 | Adam Chlipala | Working with evars |
Mon, 30 Nov 2009 14:21:34 -0500 | Adam Chlipala | Mention fake universe polymorphism |
Tue, 24 Nov 2009 07:54:38 -0500 | Adam Chlipala | Fix typo |
Mon, 23 Nov 2009 12:41:14 -0500 | Adam Chlipala | New release |