log src/Large.v

age author description
Wed, 05 Aug 2015 14:57:14 -0400 Adam Chlipala ...and back to working in 8.4 again
Wed, 05 Aug 2015 14:46:55 -0400 Adam Chlipala Builds with Coq 8.5beta2
Tue, 12 Feb 2013 11:14:52 -0500 Adam Chlipala Pass through Chapter 16
Fri, 18 Jan 2013 13:45:00 -0500 Adam Chlipala Fix one reported grammatical error and make my own final pass over Chapter 1
Mon, 22 Oct 2012 14:23:52 -0400 Adam Chlipala Batch of changes based on proofreader feedback
Wed, 29 Aug 2012 16:33:59 -0400 Adam Chlipala Proofreading pass through Chapter 16
Thu, 23 Aug 2012 11:06:37 -0400 Adam Chlipala Typo fixes
Wed, 01 Aug 2012 17:31:56 -0400 Adam Chlipala Finished vertical spacing
Fri, 27 Jul 2012 16:47:28 -0400 Adam Chlipala A pass over all formatting, after big pile of coqdoc changes
Thu, 26 Jul 2012 19:05:12 -0400 Adam Chlipala Changes while hacking on coqdoc
Thu, 26 Jul 2012 16:22:57 -0400 Adam Chlipala Pass through Large, to incorporate new coqdoc features
Wed, 25 Jul 2012 18:10:26 -0400 Adam Chlipala Pass through DataStruct, to incorporate new coqdoc features; globally replace [refl_equal] with [eq_refl]
Fri, 08 Jun 2012 15:44:54 -0400 Adam Chlipala Typesetting pass over Large
Wed, 06 Jun 2012 11:25:13 -0400 Adam Chlipala Get it working in Coq 8.4beta1; use nice coqdoc notation for italics
Sun, 06 May 2012 17:15:15 -0400 Adam Chlipala Instructions on directory-local Coq parameter specification, thanks to a tip from Thomas Braibant
Thu, 12 Apr 2012 15:54:37 -0400 Adam Chlipala A pass over Large
Sun, 01 Apr 2012 15:02:32 -0400 Adam Chlipala New chapter: ProgLang
Mon, 26 Mar 2012 16:55:59 -0400 Adam Chlipala Finish pass over LogicProg; change [crush] to take advantage of new [Hint Rewrite] syntax that uses database [core] by default
Fri, 16 Dec 2011 13:28:11 -0500 Adam Chlipala Change make invocations to work properly with -j
Wed, 09 Nov 2011 15:26:50 -0500 Adam Chlipala Templatize Large
Tue, 08 Nov 2011 11:54:09 -0500 Adam Chlipala Pass over old Large material; index fixes
Wed, 26 Oct 2011 11:19:52 -0400 Adam Chlipala Stub out new chapter
Wed, 07 Sep 2011 13:47:24 -0400 Adam Chlipala Rename Tactics; change 'principal typing' to 'principal types'
Mon, 17 Jan 2011 15:12:30 -0500 Adam Chlipala Tweak mark-up to support coqdoc 8.3
Wed, 10 Nov 2010 15:00:37 -0500 Adam Chlipala PC comments on Reflection and Large
Wed, 09 Dec 2009 13:59:01 -0500 Adam Chlipala Build Processes
Wed, 09 Dec 2009 13:07:31 -0500 Adam Chlipala Prose for Modules section
Wed, 09 Dec 2009 11:36:37 -0500 Adam Chlipala slow
Wed, 09 Dec 2009 11:06:39 -0500 Adam Chlipala New-rewrite-hint-breaks-old-script example
Mon, 07 Dec 2009 16:42:42 -0500 Adam Chlipala More maint & debug code
Mon, 07 Dec 2009 16:15:08 -0500 Adam Chlipala Start of maint & debug
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