log Makefile

age author description
Thu, 25 Aug 2011 11:46:56 -0400 Adam Chlipala Started revising Intro
Wed, 03 Aug 2011 10:34:53 -0400 Adam Chlipala Further emphasize necessity and purpose of Set Implicit Arguments; tweak Makefile to support parallel builds
Mon, 17 Jan 2011 15:12:30 -0500 Adam Chlipala Tweak mark-up to support coqdoc 8.3
Fri, 14 Jan 2011 14:39:12 -0500 Adam Chlipala Everything compiles in Coq 8.3pl1
Fri, 05 Nov 2010 13:48:39 -0400 Adam Chlipala PC comments for DataStruct
Fri, 05 Nov 2010 10:35:56 -0400 Adam Chlipala Subset suggestions from PC; improvements to build process for coqdoc fontification
Wed, 30 Dec 2009 13:38:13 -0500 Adam Chlipala Import DeBruijn
Mon, 28 Dec 2009 12:35:44 -0500 Adam Chlipala OpSem code
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
Mon, 16 Nov 2009 13:27:34 -0500 Adam Chlipala First 8.2 release
Fri, 13 Nov 2009 12:03:08 -0500 Adam Chlipala Port Generic
Wed, 11 Nov 2009 14:34:24 -0500 Adam Chlipala Touch-ups to DataStruct
Wed, 11 Nov 2009 14:00:04 -0500 Adam Chlipala Port DataStruct
Wed, 11 Nov 2009 12:21:28 -0500 Adam Chlipala Finish porting MoreDep
Mon, 09 Nov 2009 15:43:56 -0500 Adam Chlipala Ported Subset
Mon, 09 Nov 2009 13:18:46 -0500 Adam Chlipala Most old Sestoft suggestions processed
Mon, 09 Nov 2009 11:09:50 -0500 Adam Chlipala Port InductiveTypes
Fri, 06 Nov 2009 16:44:06 -0500 Adam Chlipala Revising for 8.2 through first big example
Fri, 06 Nov 2009 12:15:05 -0500 Adam Chlipala 'make doc' works with 8.2
Fri, 06 Nov 2009 10:52:43 -0500 Adam Chlipala Parts I want to keep compile with 8.2
Fri, 02 Jan 2009 09:09:35 -0500 Adam Chlipala Typo reported by mulhern; stop publishing to Harvard
Fri, 28 Nov 2008 09:55:56 -0500 Adam Chlipala Start of Generic
Tue, 18 Nov 2008 12:44:46 -0500 Adam Chlipala Import predicative Impure example
Sun, 16 Nov 2008 11:54:51 -0500 Adam Chlipala Start of Intensional
Mon, 10 Nov 2008 11:05:49 -0500 Adam Chlipala STLC cpsExp
Sun, 09 Nov 2008 15:15:41 -0500 Adam Chlipala System F
Sun, 09 Nov 2008 13:44:31 -0500 Adam Chlipala STLC example in Interps
Mon, 03 Nov 2008 09:43:32 -0500 Adam Chlipala Hoas, up to type soundness
Sun, 02 Nov 2008 12:16:55 -0500 Adam Chlipala Proved concrete substitution