log

age author description
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
Fri, 11 Dec 2009 10:18:45 -0500 Adam Chlipala Proved progress for LocallyNameless
Wed, 09 Dec 2009 15:26:22 -0500 Adam Chlipala Prose for old part of Firstorder
Wed, 09 Dec 2009 14:12:33 -0500 Adam Chlipala New release
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
Mon, 30 Nov 2009 15:41:51 -0500 Adam Chlipala Working with evars
Mon, 30 Nov 2009 14:21:34 -0500 Adam Chlipala Mention fake universe polymorphism
Tue, 24 Nov 2009 07:54:38 -0500 Adam Chlipala Fix typo
Mon, 23 Nov 2009 12:41:14 -0500 Adam Chlipala New release
Mon, 23 Nov 2009 11:33:22 -0500 Adam Chlipala Axioms
Fri, 20 Nov 2009 11:02:26 -0500 Adam Chlipala Prop section
Fri, 20 Nov 2009 10:18:35 -0500 Adam Chlipala Proof-reading pass through first bit of Universes
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
Mon, 16 Nov 2009 13:13:34 -0500 Adam Chlipala Fix Extensional type annotations
Mon, 16 Nov 2009 12:30:38 -0500 Adam Chlipala Port Extensional
Mon, 16 Nov 2009 12:18:55 -0500 Adam Chlipala Port Interps
Mon, 16 Nov 2009 12:08:18 -0500 Adam Chlipala Port Hoas
Mon, 16 Nov 2009 11:09:47 -0500 Adam Chlipala Port Reflection
Mon, 16 Nov 2009 10:32:04 -0500 Adam Chlipala Ported Match
Fri, 13 Nov 2009 12:03:08 -0500 Adam Chlipala Port Generic