Mercurial > cpdt > repo
log src/Intro.v
age | author | description |
---|---|---|
Fri, 01 Oct 2010 13:39:05 -0400 | Adam Chlipala | Some improvements to installation instructions, based on Mitch Wand's feedback |
Wed, 03 Feb 2010 08:14:39 -0500 | Adam Chlipala | Fix PDF ToC generation; mention Set Implicit Arguments in StackMachine |
Wed, 30 Dec 2009 13:38:13 -0500 | Adam Chlipala | Import DeBruijn |
Mon, 28 Dec 2009 12:35:44 -0500 | Adam Chlipala | OpSem code |
Wed, 09 Dec 2009 14:12:33 -0500 | Adam Chlipala | New release |
Fri, 04 Dec 2009 13:44:05 -0500 | Adam Chlipala | Uncommented functor example |
Wed, 18 Nov 2009 15:38:01 -0500 | Adam Chlipala | Update DataStruct with a new reason to use reflexive types; start Universes |