Commits · 58d3d4c38674c190d322c47cfc7d525df8470998 · research / cpdt

05 Dec, 2013 1 commit
- Build an open-source release of library modules · 217c70ea
  Adam Chlipala authored 11 years ago
  
  217c70ea
26 Sep, 2013 1 commit
- Fix a word that was only included in LaTeX version · 0b9d5d4f
  Adam Chlipala authored 11 years ago
  
  0b9d5d4f
19 Sep, 2013 1 commit
- Get StackMachine template generated properly again · 5ecfe806
  Adam Chlipala authored 11 years ago
  
  5ecfe806
12 May, 2013 1 commit
- Addressing some inaccuracies of comparison with PVS · 36799da7
  Adam Chlipala authored 11 years ago
  
  36799da7
13 Feb, 2013 1 commit
- Finished last pass through the book before beginning the MIT Press editorial process · 45eb4b90
  Adam Chlipala authored 12 years ago
  
  45eb4b90
12 Feb, 2013 1 commit
- Pass through Chapter 16 · 8e0a6f1b
  Adam Chlipala authored 12 years ago
  
  8e0a6f1b
11 Feb, 2013 1 commit
- Pass through Chapter 15 · 0985f7f8
  Adam Chlipala authored 12 years ago
  
  0985f7f8
10 Feb, 2013 3 commits
- Pass through Chapter 14 · 3c1d84a9
  Adam Chlipala authored 12 years ago
  
  3c1d84a9
- Pass through Chapter 13 · 9d3f4210
  Adam Chlipala authored 12 years ago
  
  9d3f4210
- Pass through Chapter 12 · 91258497
  Adam Chlipala authored 12 years ago
  
  91258497
09 Feb, 2013 1 commit
- Pass through Chapter 11 · 3e3f0249
  Adam Chlipala authored 12 years ago
  
  3e3f0249
05 Feb, 2013 2 commits
- Pass through Chapter 10 · 14076b2b
  Adam Chlipala authored 12 years ago
  
  14076b2b
- Pass through Chapter 9 · bc87c0b3
  Adam Chlipala authored 12 years ago
  
  bc87c0b3
04 Feb, 2013 1 commit
- Unnecessary eauto · 988f2896
  Adam Chlipala authored 12 years ago
  
  988f2896
01 Feb, 2013 1 commit
- Pass through Chapter 8 · 1e47dade
  Adam Chlipala authored 12 years ago
  
  1e47dade
31 Jan, 2013 1 commit
- Small fixes in ProgLang · d3e656e5
  Adam Chlipala authored 12 years ago
  
  d3e656e5
20 Jan, 2013 2 commits
- Pass through Chapter 7 · fbd343b0
  Adam Chlipala authored 12 years ago
  
  fbd343b0
- Pass through Chapter 6 · 5dc3468b
  Adam Chlipala authored 12 years ago
  
  5dc3468b
19 Jan, 2013 1 commit
- Pass through Chapter 4 · c9ac2de3
  Adam Chlipala authored 12 years ago
  
  c9ac2de3
18 Jan, 2013 3 commits
- Pass through Chapter 3 · 529da1b1
  Adam Chlipala authored 12 years ago
  
  529da1b1
- Pass through Chapter 2 · 2c49c95d
  Adam Chlipala authored 12 years ago
  
  2c49c95d
- Fix one reported grammatical error and make my own final pass over Chapter 1 · 545d7fb8
  Adam Chlipala authored 12 years ago
  
  545d7fb8
08 Jan, 2013 2 commits
- Exercises online · e319df40
  Adam Chlipala authored 12 years ago
  
  e319df40
- Incorporate feedback from Nathan Collins · f0916dd9
  Adam Chlipala authored 12 years ago
  
  f0916dd9
07 Jan, 2013 1 commit
- Add explicit warning that Coq 8.4 or later is required · 30d492d9
  Adam Chlipala authored 12 years ago
  
  30d492d9
06 Jan, 2013 3 commits
- Small wording change suggested by a proofreader · 5e9d9eee
  Adam Chlipala authored 12 years ago
  
  5e9d9eee
- Last round of feedback from class at Penn · 22363ec9
  Adam Chlipala authored 12 years ago
  
  22363ec9
- Update Match to take into account a number of misunderstandings of tactic... · 00b5f4f8
  Adam Chlipala authored 12 years ago
```
Update Match to take into account a number of misunderstandings of tactic execution in 8.4 and 8.4pl1
```
  00b5f4f8
30 Nov, 2012 1 commit
- Batch of changes based on proofreader feedback · a1f728fa
  Adam Chlipala authored 12 years ago
  
  a1f728fa
29 Nov, 2012 1 commit
- Batch of changes based on proofreader feedback · 501370fd
  Adam Chlipala authored 12 years ago
  
  501370fd
11 Nov, 2012 2 commits
- Batch of changes based on proofreader feedback · 89b1d898
  Adam Chlipala authored 12 years ago
  
  89b1d898
- Updated description of CoqIDE limitations · a4ec840a
  Adam Chlipala authored 12 years ago
  
  a4ec840a
25 Oct, 2012 1 commit
- Batch of changes based on proofreader feedback · 1e89c984
  Adam Chlipala authored 12 years ago
  
  1e89c984
22 Oct, 2012 2 commits
- Batch of changes based on proofreader feedback · 4be7b4d2
  Adam Chlipala authored 12 years ago
  
  4be7b4d2
- Batch of changes based on proofreader feedback · 45e684d7
  Adam Chlipala authored 12 years ago
  
  45e684d7
14 Oct, 2012 1 commit
- Fix a typo in new recursion combinators example · df735505
  Adam Chlipala authored 12 years ago
  
  df735505
08 Oct, 2012 1 commit
- Batch of changes based on proofreader feedback · e56b9f3a
  Adam Chlipala authored 12 years ago
  
  e56b9f3a
02 Oct, 2012 1 commit
- Batch of changes based on proofreader feedback · 453fc375
  Adam Chlipala authored 12 years ago
  
  453fc375
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