log Makefile

age author description
Thu, 12 May 2016 18:09:36 -0500 Arthur Peters Make specially licensed versions of lib files for cpdtlib.tgz.
Wed, 05 Aug 2015 18:19:59 -0400 Adam Chlipala Make exercises build again
Wed, 05 Aug 2015 18:07:57 -0400 Adam Chlipala Touch-ups in 8.4
Wed, 05 Aug 2015 14:46:55 -0400 Adam Chlipala Builds with Coq 8.5beta2
Thu, 05 Dec 2013 15:51:33 -0500 Adam Chlipala Build an open-source release of library modules
Sat, 09 Feb 2013 10:15:53 -0500 Adam Chlipala Add back in external LaTeX links
Tue, 08 Jan 2013 15:48:32 -0500 Adam Chlipala Exercises online
Mon, 22 Oct 2012 13:28:54 -0400 Adam Chlipala Remove hyperlinks to standard library, which were broken anyway
Tue, 03 Apr 2012 15:10:04 -0400 Adam Chlipala Conclusion
Sun, 01 Apr 2012 15:02:32 -0400 Adam Chlipala New chapter: ProgLang
Fri, 02 Mar 2012 09:58:00 -0500 Adam Chlipala Move exercises out of mainline book
Wed, 26 Oct 2011 17:14:28 -0400 Adam Chlipala Move GeneralRec one chapter slot later, since Subset should be a prereq
Wed, 26 Oct 2011 11:19:52 -0400 Adam Chlipala Stub out new chapter
Mon, 03 Oct 2011 11:15:51 -0400 Adam Chlipala Remove Part IV
Tue, 20 Sep 2011 14:07:21 -0400 Adam Chlipala New LogicProg chapter
Mon, 12 Sep 2011 18:57:05 -0400 Adam Chlipala Fix 'make clean'
Wed, 07 Sep 2011 13:47:24 -0400 Adam Chlipala Rename Tactics; change 'principal typing' to 'principal types'
Mon, 29 Aug 2011 15:31:06 -0400 Adam Chlipala Pass through first half of StackMachine, along with some reorganization of the build process
Thu, 25 Aug 2011 14:41:49 -0400 Adam Chlipala Finished 2011 pass through Intro
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
Tue, 28 Oct 2008 11:29:14 -0400 Adam Chlipala Start of Reflection
Wed, 22 Oct 2008 14:32:41 -0400 Adam Chlipala Start of Match
Mon, 20 Oct 2008 10:44:20 -0400 Adam Chlipala Add ext_eq axiom and DepList notations
Sat, 18 Oct 2008 12:04:28 -0400 Adam Chlipala Up to Streicher
Tue, 14 Oct 2008 14:49:51 -0400 Adam Chlipala DepList
Mon, 13 Oct 2008 10:47:21 -0400 Adam Chlipala Start of DataStruct
Tue, 07 Oct 2008 10:49:07 -0400 Adam Chlipala Remove -impredicative-set
Sun, 05 Oct 2008 15:42:14 -0400 Adam Chlipala Start of MoreDep
Fri, 03 Oct 2008 15:59:59 -0400 Adam Chlipala MoreSpecif
Fri, 03 Oct 2008 11:39:59 -0400 Adam Chlipala Start of Subset
Wed, 01 Oct 2008 19:53:11 -0400 Adam Chlipala Publish to Harvard, too