Wed, 05 Aug 2015 14:46:55 -0400 |
Adam Chlipala |
Builds with Coq 8.5beta2 |
Tue, 05 Feb 2013 17:05:09 -0500 |
Adam Chlipala |
Pass through Chapter 10 |
Tue, 08 Jan 2013 14:38:56 -0500 |
Adam Chlipala |
Incorporate feedback from Nathan Collins |
Sun, 06 Jan 2013 16:23:26 -0500 |
Adam Chlipala |
Last round of feedback from class at Penn |
Fri, 30 Nov 2012 11:57:55 -0500 |
Adam Chlipala |
Batch of changes based on proofreader feedback |
Wed, 28 Nov 2012 19:33:21 -0500 |
Adam Chlipala |
Batch of changes based on proofreader feedback |
Mon, 22 Oct 2012 14:23:52 -0400 |
Adam Chlipala |
Batch of changes based on proofreader feedback |
Wed, 29 Aug 2012 18:26:26 -0400 |
Adam Chlipala |
Spell check |
Tue, 28 Aug 2012 11:48:06 -0400 |
Adam Chlipala |
Proofreading pass through Chapter 10 |
Wed, 01 Aug 2012 17:03:39 -0400 |
Adam Chlipala |
Vertical spacing through end of Part II |
Fri, 27 Jul 2012 16:47:28 -0400 |
Adam Chlipala |
A pass over all formatting, after big pile of coqdoc changes |
Fri, 27 Jul 2012 15:41:06 -0400 |
Adam Chlipala |
Changes during more coqdoc hacking |
Thu, 26 Jul 2012 19:05:12 -0400 |
Adam Chlipala |
Changes while hacking on coqdoc |
Thu, 26 Jul 2012 11:09:48 -0400 |
Adam Chlipala |
Pass through Equality, to incorporate new coqdoc features |
Wed, 25 Jul 2012 18:10:26 -0400 |
Adam Chlipala |
Pass through DataStruct, to incorporate new coqdoc features; globally replace [refl_equal] with [eq_refl] |
Fri, 08 Jun 2012 14:45:22 -0400 |
Adam Chlipala |
Typesetting pass over Equality |
Wed, 06 Jun 2012 11:25:13 -0400 |
Adam Chlipala |
Get it working in Coq 8.4beta1; use nice coqdoc notation for italics |
Thu, 12 Apr 2012 12:11:29 -0400 |
Adam Chlipala |
More discussion of axiom avoidance and tactic pitfalls for JMeq |
Fri, 02 Mar 2012 09:58:00 -0500 |
Adam Chlipala |
Move exercises out of mainline book |
Tue, 08 Nov 2011 11:54:09 -0500 |
Adam Chlipala |
Pass over old Large material; index fixes |
Sun, 06 Nov 2011 16:52:15 -0500 |
Adam Chlipala |
Discuss reduction of [fix] |
Sun, 06 Nov 2011 16:25:45 -0500 |
Adam Chlipala |
Pass through old content of Equality |
Wed, 07 Sep 2011 13:47:24 -0400 |
Adam Chlipala |
Rename Tactics; change 'principal typing' to 'principal types' |
Mon, 17 Jan 2011 15:12:30 -0500 |
Adam Chlipala |
Tweak mark-up to support coqdoc 8.3 |
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 13:44:57 -0500 |
Adam Chlipala |
Fixes added while proofreading JFR camera-ready |