| Sun, 31 Jul 2022 14:48:22 -0400 |
Adam Chlipala |
Builds with Coq 8.15.2default tip |
| Fri, 02 Oct 2015 12:49:58 -0400 |
Adam Chlipala |
Mention _CoqProject |
| Wed, 05 Aug 2015 14:57:14 -0400 |
Adam Chlipala |
...and back to working in 8.4 again |
| Wed, 05 Aug 2015 14:46:55 -0400 |
Adam Chlipala |
Builds with Coq 8.5beta2 |
| Tue, 12 Feb 2013 11:14:52 -0500 |
Adam Chlipala |
Pass through Chapter 16 |
| Fri, 18 Jan 2013 13:45:00 -0500 |
Adam Chlipala |
Fix one reported grammatical error and make my own final pass over Chapter 1 |
| Mon, 22 Oct 2012 14:23:52 -0400 |
Adam Chlipala |
Batch of changes based on proofreader feedback |
| Wed, 29 Aug 2012 16:33:59 -0400 |
Adam Chlipala |
Proofreading pass through Chapter 16 |
| Thu, 23 Aug 2012 11:06:37 -0400 |
Adam Chlipala |
Typo fixes |
| Wed, 01 Aug 2012 17:31:56 -0400 |
Adam Chlipala |
Finished vertical spacing |
| Fri, 27 Jul 2012 16:47:28 -0400 |
Adam Chlipala |
A pass over all formatting, after big pile of coqdoc changes |
| Thu, 26 Jul 2012 19:05:12 -0400 |
Adam Chlipala |
Changes while hacking on coqdoc |
| Thu, 26 Jul 2012 16:22:57 -0400 |
Adam Chlipala |
Pass through Large, 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 15:44:54 -0400 |
Adam Chlipala |
Typesetting pass over Large |
| Wed, 06 Jun 2012 11:25:13 -0400 |
Adam Chlipala |
Get it working in Coq 8.4beta1; use nice coqdoc notation for italics |
| Sun, 06 May 2012 17:15:15 -0400 |
Adam Chlipala |
Instructions on directory-local Coq parameter specification, thanks to a tip from Thomas Braibant |
| Thu, 12 Apr 2012 15:54:37 -0400 |
Adam Chlipala |
A pass over Large |
| Sun, 01 Apr 2012 15:02:32 -0400 |
Adam Chlipala |
New chapter: ProgLang |
| 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, 16 Dec 2011 13:28:11 -0500 |
Adam Chlipala |
Change make invocations to work properly with -j |
| Wed, 09 Nov 2011 15:26:50 -0500 |
Adam Chlipala |
Templatize Large |
| Tue, 08 Nov 2011 11:54:09 -0500 |
Adam Chlipala |
Pass over old Large material; index fixes |
| Wed, 26 Oct 2011 11:19:52 -0400 |
Adam Chlipala |
Stub out new chapter |
| 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 15:00:37 -0500 |
Adam Chlipala |
PC comments on Reflection and Large |
| 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 |
