log src/Large.v

age author description
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