Commits · 3dfec3aff8aed3f10974a7d5f91b3e8e6aff38f7 · research / cpdt

05 Aug, 2015 2 commits
- Touch-ups in 8.4 · 434eb027
  Adam Chlipala authored 9 years ago
  
  434eb027
- Builds with Coq 8.5beta2 · 7bb7e8bc
  Adam Chlipala authored 9 years ago
  
  7bb7e8bc
19 Sep, 2013 1 commit
- Get StackMachine template generated properly again · 5ecfe806
  Adam Chlipala authored 11 years ago
  
  5ecfe806
18 Jan, 2013 1 commit
- Pass through Chapter 2 · 2c49c95d
  Adam Chlipala authored 12 years ago
  
  2c49c95d
22 Oct, 2012 1 commit
- Batch of changes based on proofreader feedback · 4be7b4d2
  Adam Chlipala authored 12 years ago
  
  4be7b4d2
08 Oct, 2012 1 commit
- Batch of changes based on proofreader feedback · e56b9f3a
  Adam Chlipala authored 12 years ago
  
  e56b9f3a
26 Sep, 2012 1 commit
- Batch of changes based on proofreader feedback · 78fc804e
  Adam Chlipala authored 12 years ago
  
  78fc804e
02 Sep, 2012 1 commit
- Clearer version of sentence on CIC extensions · 0bae18c1
  Adam Chlipala authored 12 years ago
  
  0bae18c1
29 Aug, 2012 1 commit
- Spell check · 1c5659f3
  Adam Chlipala authored 12 years ago
  
  1c5659f3
23 Aug, 2012 1 commit
- Typo fixes · a38e22e5
  Adam Chlipala authored 12 years ago
  
  a38e22e5
17 Aug, 2012 2 commits
- Proofreading pass through Chapter 3 · d7fcf8b5
  Adam Chlipala authored 12 years ago
  
  d7fcf8b5
- Proofreading pass through Chapter 2 · 87d6e447
  Adam Chlipala authored 12 years ago
  
  87d6e447
01 Aug, 2012 1 commit
- Undo some overzealous vspace tweaks · 77382d81
  Adam Chlipala authored 12 years ago
  
  77382d81
30 Jul, 2012 1 commit
- A pass of improvements to vertical spacing, up through end of InductiveTypes · 7df920f6
  Adam Chlipala authored 12 years ago
  
  7df920f6
25 Jul, 2012 1 commit
- Pass through StackMachine, to incorporate new coqdoc features · 3968a69c
  Adam Chlipala authored 12 years ago
  
  3968a69c
17 Jul, 2012 1 commit
- Update for Coq trunk version intended for final 8.4 release · a6fa0f0e
  Adam Chlipala authored 12 years ago
  
  a6fa0f0e
08 Jun, 2012 1 commit
- Start figuring out which coqdoc changes will be needed to produce a pretty final version · 70d8f9cc
  Adam Chlipala authored 12 years ago
  
  70d8f9cc
06 Jun, 2012 1 commit
- Get it working in Coq 8.4beta1; use nice coqdoc notation for italics · dfa9fe9d
  Adam Chlipala authored 12 years ago
  
  dfa9fe9d
22 Apr, 2012 1 commit
- Citations for continuations and unification · 044ab374
  Adam Chlipala authored 12 years ago
  
  044ab374
26 Mar, 2012 1 commit
- Finish pass over LogicProg; change [crush] to take advantage of new [Hint... · 90207a2d
  Adam Chlipala authored 12 years ago
```
Finish pass over LogicProg; change [crush] to take advantage of new [Hint Rewrite] syntax that uses database [core] by default
```
  90207a2d
03 Nov, 2011 1 commit
- Explicit note about primitive recursion restriction, early on · f741bf9f
  Adam Chlipala authored 13 years ago
  
  f741bf9f
25 Sep, 2011 1 commit
- Pass over Match · d5a66bbc
  Adam Chlipala authored 13 years ago
  
  d5a66bbc
11 Sep, 2011 1 commit
- Pass through InductiveTypes, through end of reflexive types · 1dcef083
  Adam Chlipala authored 13 years ago
  
  1dcef083
07 Sep, 2011 1 commit
- Rename Tactics; change 'principal typing' to 'principal types' · 1ac03f93
  Adam Chlipala authored 13 years ago
  
  1ac03f93
01 Sep, 2011 1 commit
- Pass through second half of StackMachine · 0a12e1a4
  Adam Chlipala authored 13 years ago
  
  0a12e1a4
29 Aug, 2011 1 commit
- Pass through first half of StackMachine, along with some reorganization of the build process · 5a46baf2
  Adam Chlipala authored 13 years ago
  
  5a46baf2
25 Aug, 2011 1 commit
- Finished 2011 pass through Intro · 4e48ffb8
  Adam Chlipala authored 13 years ago
  
  4e48ffb8
03 Aug, 2011 1 commit
- Further emphasize necessity and purpose of Set Implicit Arguments; tweak... · ea0dc894
  Adam Chlipala authored 13 years ago
```
Further emphasize necessity and purpose of Set Implicit Arguments; tweak Makefile to support parallel builds
```
  ea0dc894
28 Jun, 2011 1 commit
- Clarify need to insert hidden commands · 11966a58
  Adam Chlipala authored 13 years ago
  
  11966a58
17 Jan, 2011 1 commit
- Tweak mark-up to support coqdoc 8.3 · 12609c55
  Adam Chlipala authored 14 years ago
  
  12609c55
14 Jan, 2011 1 commit
- Small tweak to keep things working in 8.2 · d9f91c30
  Adam Chlipala authored 14 years ago
  
  d9f91c30
09 Dec, 2010 1 commit
- Fixes added while proofreading JFR camera-ready · d2f328ef
  Adam Chlipala authored 14 years ago
  
  d2f328ef
10 Nov, 2010 1 commit
- A pass of double-quotes and LaTeX operator beautification · 8390aa9b
  Adam Chlipala authored 14 years ago
  
  8390aa9b
01 Oct, 2010 2 commits
- Incorporate PC's comments on InductiveTypes · 50b5e4f6
  Adam Chlipala authored 14 years ago
  
  50b5e4f6
- Some improvements to installation instructions, based on Mitch Wand's feedback · 4253da6c
  Adam Chlipala authored 14 years ago
  
  4253da6c
21 Sep, 2010 1 commit
- PC comments for Chapter 2 · 2666f44a
  Adam Chlipala authored 14 years ago
  
  2666f44a
15 May, 2010 1 commit
- Typo pointed out by Ben Moseley · 36daf5e8
  Adam Chlipala authored 14 years ago
  
  36daf5e8
03 Feb, 2010 1 commit
- Fix PDF ToC generation; mention Set Implicit Arguments in StackMachine · 15b885f0
  Adam Chlipala authored 15 years ago
  
  15b885f0
09 Nov, 2009 1 commit
- Most old Sestoft suggestions processed · 7fa8d745
  Adam Chlipala authored 15 years ago
  
  7fa8d745
06 Nov, 2009 1 commit
- Converted StackMachine · 9fd540f4
  Adam Chlipala authored 15 years ago
  
  9fd540f4