log

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
Tue, 28 Jun 2011 08:38:08 -0400 Adam Chlipala Clarify need to insert hidden commands
Tue, 18 Jan 2011 08:16:19 -0500 Adam Chlipala New release
Mon, 17 Jan 2011 15:12:30 -0500 Adam Chlipala Tweak mark-up to support coqdoc 8.3
Mon, 17 Jan 2011 11:42:09 -0500 Adam Chlipala Typo fix
Fri, 14 Jan 2011 15:43:32 -0500 Adam Chlipala Forgot to increment two timestamps
Fri, 14 Jan 2011 15:40:06 -0500 Adam Chlipala New release
Fri, 14 Jan 2011 14:55:32 -0500 Adam Chlipala Small tweak to keep things working in 8.2
Fri, 14 Jan 2011 14:39:12 -0500 Adam Chlipala Everything compiles in Coq 8.3pl1
Thu, 09 Dec 2010 14:39:49 -0500 Adam Chlipala Spelling errors found preparing JFR paper
Thu, 09 Dec 2010 14:30:24 -0500 Adam Chlipala First cut at spellcheck filter
Thu, 09 Dec 2010 13:44:57 -0500 Adam Chlipala Fixes added while proofreading JFR camera-ready
Wed, 10 Nov 2010 16:34:46 -0500 Adam Chlipala New release
Wed, 10 Nov 2010 16:31:04 -0500 Adam Chlipala A pass of double-quotes and LaTeX operator beautification
Wed, 10 Nov 2010 15:42:05 -0500 Adam Chlipala PC comments for DeBruijn
Wed, 10 Nov 2010 15:37:01 -0500 Adam Chlipala PC comments for FirstOrder
Wed, 10 Nov 2010 15:00:37 -0500 Adam Chlipala PC comments on Reflection and Large
Wed, 10 Nov 2010 14:46:27 -0500 Adam Chlipala PC comments for Match
Wed, 10 Nov 2010 14:05:00 -0500 Adam Chlipala PC-inspired Universes tweaks
Wed, 10 Nov 2010 13:16:12 -0500 Adam Chlipala PC changes to Equality and Generic
Wed, 10 Nov 2010 07:56:30 -0500 Adam Chlipala Typo fix
Fri, 05 Nov 2010 13:48:39 -0400 Adam Chlipala PC comments for DataStruct
Fri, 05 Nov 2010 11:36:36 -0400 Adam Chlipala PC comments for MoreDep
Fri, 05 Nov 2010 10:35:56 -0400 Adam Chlipala Subset suggestions from PC; improvements to build process for coqdoc fontification
Fri, 15 Oct 2010 09:50:34 -0400 Adam Chlipala PC's Chapter 5 comments
Tue, 12 Oct 2010 09:30:17 -0400 Adam Chlipala PC's Chapter 4 comments
Fri, 01 Oct 2010 14:19:20 -0400 Adam Chlipala Incorporate PC's comments on InductiveTypes
Fri, 01 Oct 2010 13:39:05 -0400 Adam Chlipala Some improvements to installation instructions, based on Mitch Wand's feedback
Tue, 21 Sep 2010 09:50:33 -0400 Adam Chlipala PC comments for Chapter 2
Mon, 28 Jun 2010 08:02:09 -0400 Adam Chlipala Announce last change in RSS
Mon, 28 Jun 2010 07:59:01 -0400 Adam Chlipala A suggestion from sbriais: mention that Coq >=8.2 allows omitted match cases
Sat, 15 May 2010 06:44:41 -0400 Adam Chlipala Update RSS feed
Sat, 15 May 2010 06:42:05 -0400 Adam Chlipala Typo pointed out by Ben Moseley
Wed, 28 Apr 2010 11:40:03 -0400 Adam Chlipala Typo fix in Equality, found proof-reading tutorial
Mon, 19 Apr 2010 16:49:26 -0400 Adam Chlipala Some bug fixes while working on JFR version
Wed, 03 Feb 2010 08:17:02 -0500 Adam Chlipala Bug fixes
Wed, 03 Feb 2010 08:14:39 -0500 Adam Chlipala Fix PDF ToC generation; mention Set Implicit Arguments in StackMachine
Wed, 27 Jan 2010 07:40:03 -0500 Adam Chlipala Add RSS feed
Wed, 06 Jan 2010 10:25:31 -0500 Adam Chlipala Mailing list announcement text expansion
Wed, 30 Dec 2009 13:47:59 -0500 Adam Chlipala First beta release
Wed, 30 Dec 2009 13:38:13 -0500 Adam Chlipala Import DeBruijn
Mon, 28 Dec 2009 14:33:39 -0500 Adam Chlipala New release
Mon, 28 Dec 2009 14:31:40 -0500 Adam Chlipala Prose for OpSem
Mon, 28 Dec 2009 12:35:44 -0500 Adam Chlipala OpSem code
Wed, 16 Dec 2009 17:31:57 -0500 Adam Chlipala New release
Wed, 16 Dec 2009 17:24:58 -0500 Adam Chlipala Prosified Intensional
Wed, 16 Dec 2009 16:45:50 -0500 Adam Chlipala Dbify_sound
Wed, 16 Dec 2009 16:21:29 -0500 Adam Chlipala Wf_wf
Wed, 16 Dec 2009 15:54:50 -0500 Adam Chlipala Easy direction of Intensional
Wed, 16 Dec 2009 15:31:54 -0500 Adam Chlipala Prosified Extensional
Wed, 16 Dec 2009 13:50:24 -0500 Adam Chlipala Prosified Interps
Wed, 16 Dec 2009 13:16:44 -0500 Adam Chlipala Done prosifying Hoas
Wed, 16 Dec 2009 11:33:53 -0500 Adam Chlipala PHOAS intro section
Wed, 16 Dec 2009 10:39:22 -0500 Adam Chlipala Hoas intro
Fri, 11 Dec 2009 16:19:39 -0500 Adam Chlipala New release
Fri, 11 Dec 2009 16:18:29 -0500 Adam Chlipala Proofreading pass over Firstorder
Fri, 11 Dec 2009 16:07:27 -0500 Adam Chlipala Prose for LocallyNameless
Fri, 11 Dec 2009 15:00:42 -0500 Adam Chlipala Automated LocallyNameless
Fri, 11 Dec 2009 14:05:56 -0500 Adam Chlipala Proved preservation for LocallyNameless