| Wed, 12 Jul 2017 13:58:28 -0400 |
Adam Chlipala |
Add copyright year |
| Wed, 12 Jul 2017 13:49:46 -0400 |
Adam Chlipala |
And working with 8.6 again |
| Thu, 15 Oct 2015 07:42:00 -0400 |
Adam Chlipala |
Fix Epigram URL |
| 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 |
| Sun, 12 May 2013 12:50:27 -0400 |
Adam Chlipala |
Addressing some inaccuracies of comparison with PVS |
| Fri, 18 Jan 2013 13:45:00 -0500 |
Adam Chlipala |
Fix one reported grammatical error and make my own final pass over Chapter 1 |
| Tue, 08 Jan 2013 15:48:32 -0500 |
Adam Chlipala |
Exercises online |
| Mon, 07 Jan 2013 15:23:16 -0500 |
Adam Chlipala |
Add explicit warning that Coq 8.4 or later is required |
| Sun, 11 Nov 2012 13:36:17 -0500 |
Adam Chlipala |
Updated description of CoqIDE limitations |
| Mon, 22 Oct 2012 14:23:52 -0400 |
Adam Chlipala |
Batch of changes based on proofreader feedback |
| Mon, 08 Oct 2012 16:04:49 -0400 |
Adam Chlipala |
Batch of changes based on proofreader feedback |
| Wed, 26 Sep 2012 16:35:35 -0400 |
Adam Chlipala |
Batch of changes based on proofreader feedback |
| Wed, 29 Aug 2012 18:26:26 -0400 |
Adam Chlipala |
Spell check |
| Fri, 17 Aug 2012 11:35:59 -0400 |
Adam Chlipala |
Proofreading pass through Chapter 1 |
