Mercurial > cpdt > repo
log src/Universes.v
age | author | description |
---|---|---|
Tue, 08 Jan 2013 14:38:56 -0500 | Adam Chlipala | Incorporate feedback from Nathan Collins |
Wed, 28 Nov 2012 19:33:21 -0500 | Adam Chlipala | Batch of changes based on proofreader feedback |
Mon, 22 Oct 2012 14:23:52 -0400 | Adam Chlipala | Batch of changes based on proofreader feedback |
Tue, 28 Aug 2012 16:53:16 -0400 | Adam Chlipala | Proofreading pass through Chapter 12 |
Wed, 01 Aug 2012 17:03:39 -0400 | Adam Chlipala | Vertical spacing through end of Part II |
Fri, 27 Jul 2012 16:47:28 -0400 | Adam Chlipala | A pass over all formatting, after big pile of coqdoc changes |