| Fri, 27 Jul 2012 16:47:28 -0400 |
Adam Chlipala |
A pass over all formatting, after big pile of coqdoc changes |
| Wed, 25 Jul 2012 15:51:54 -0400 |
Adam Chlipala |
Pass through StackMachine, to incorporate new coqdoc features |
| Wed, 25 Jul 2012 15:07:12 -0400 |
Adam Chlipala |
Improve Intro mark-up, based on new coqdoc features planned for final 8.4 release |
| Fri, 08 Jun 2012 11:25:11 -0400 |
Adam Chlipala |
Start figuring out which coqdoc changes will be needed to produce a pretty final version |
| 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 |
| Sun, 22 Apr 2012 15:38:11 -0400 |
Adam Chlipala |
Define 'certified program' |
| Thu, 12 Apr 2012 18:41:32 -0400 |
Adam Chlipala |
Comment CpdtTactics.v |
| Sun, 01 Apr 2012 15:14:44 -0400 |
Adam Chlipala |
Typo fixes |
| Sun, 01 Apr 2012 15:02:32 -0400 |
Adam Chlipala |
New chapter: ProgLang |
| Thu, 29 Mar 2012 18:10:52 -0400 |
Adam Chlipala |
Get it to build with Coq 8.4 |
| Fri, 02 Mar 2012 10:52:22 -0500 |
Adam Chlipala |
The one rule of dependent pattern matching |
| Fri, 02 Mar 2012 09:58:00 -0500 |
Adam Chlipala |
Move exercises out of mainline book |
| Wed, 26 Oct 2011 17:14:28 -0400 |
Adam Chlipala |
Move GeneralRec one chapter slot later, since Subset should be a prereq |
| Wed, 26 Oct 2011 11:19:52 -0400 |
Adam Chlipala |
Stub out new chapter |
