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