| Mon, 08 Oct 2012 16:04:49 -0400 |
Adam Chlipala |
Batch of changes based on proofreader feedback |
| Fri, 17 Aug 2012 15:16:08 -0400 |
Adam Chlipala |
Proofreading pass through Chapter 5 |
| Wed, 01 Aug 2012 16:09:37 -0400 |
Adam Chlipala |
Undo some overzealous vspace tweaks |
| Mon, 30 Jul 2012 16:50:02 -0400 |
Adam Chlipala |
Vertical spacing pass, through end of Subset |
| 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 |
| Wed, 25 Jul 2012 16:46:53 -0400 |
Adam Chlipala |
Pass through Coinductive, to incorporate new coqdoc features |
| Fri, 08 Jun 2012 13:26:28 -0400 |
Adam Chlipala |
Typesetting pass over Coinductive |
| Wed, 06 Jun 2012 11:25:13 -0400 |
Adam Chlipala |
Get it working in Coq 8.4beta1; use nice coqdoc notation for italics |
| Sun, 22 Apr 2012 16:25:22 -0400 |
Adam Chlipala |
Citations for lazy data structures, Haskell 'deriving', and logic programming |
| Fri, 20 Apr 2012 12:49:47 -0400 |
Adam Chlipala |
Typo fixes |
| Sun, 08 Apr 2012 11:11:27 -0400 |
Adam Chlipala |
Strengthen last theorem of Coinductive |
| Mon, 26 Mar 2012 16:55:59 -0400 |
Adam Chlipala |
Finish pass over LogicProg; change [crush] to take advantage of new [Hint Rewrite] syntax that uses database [core] by default |
| Fri, 02 Mar 2012 09:58:00 -0500 |
Adam Chlipala |
Move exercises out of mainline book |
| Wed, 26 Oct 2011 18:37:47 -0400 |
Adam Chlipala |
Co-inductive non-termination monads |
| Wed, 26 Oct 2011 15:12:21 -0400 |
Adam Chlipala |
Well-founded recursion |
| Tue, 25 Oct 2011 10:56:00 -0400 |
Adam Chlipala |
Fix template |
| Tue, 25 Oct 2011 10:51:31 -0400 |
Adam Chlipala |
Typo fix in template comment |
| Sun, 23 Oct 2011 14:48:52 -0400 |
Adam Chlipala |
Finished pass over Coinductive |
| Sun, 23 Oct 2011 13:33:46 -0400 |
Adam Chlipala |
Pass through Coinductive up to PL example |
| 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 |
| Wed, 10 Nov 2010 16:31:04 -0500 |
Adam Chlipala |
A pass of double-quotes and LaTeX operator beautification |
