Commits · 1363c8de0643271977da82f5938bfa49d8666b50 · research / cpdt

08 Jan, 2013 3 commits
- Coq'Art exercises · 1363c8de
  Adam Chlipala authored Jan 08, 2013
  
  1363c8de
- Exercises online · e319df40
  Adam Chlipala authored Jan 08, 2013
  
  e319df40
- Incorporate feedback from Nathan Collins · f0916dd9
  Adam Chlipala authored Jan 08, 2013
  
  f0916dd9
07 Jan, 2013 1 commit
- Add explicit warning that Coq 8.4 or later is required · 30d492d9
  Adam Chlipala authored Jan 07, 2013
  
  30d492d9
06 Jan, 2013 4 commits
- New release · 1e73ecac
  Adam Chlipala authored Jan 06, 2013
  
  1e73ecac
- Small wording change suggested by a proofreader · 5e9d9eee
  Adam Chlipala authored Jan 06, 2013
  
  5e9d9eee
- Last round of feedback from class at Penn · 22363ec9
  Adam Chlipala authored Jan 06, 2013
  
  22363ec9
- Update Match to take into account a number of misunderstandings of tactic... · 00b5f4f8
  Adam Chlipala authored Jan 06, 2013
```
Update Match to take into account a number of misunderstandings of tactic execution in 8.4 and 8.4pl1
```
  00b5f4f8
30 Nov, 2012 3 commits
- Web page update on proofreading · f957151a
  Adam Chlipala authored Nov 30, 2012
  
  f957151a
- Link to Pierce's Fall 2012 class · 66284008
  Adam Chlipala authored Nov 30, 2012
  
  66284008
- Batch of changes based on proofreader feedback · a1f728fa
  Adam Chlipala authored Nov 30, 2012
  
  a1f728fa
29 Nov, 2012 1 commit
- Batch of changes based on proofreader feedback · 501370fd
  Adam Chlipala authored Nov 29, 2012
  
  501370fd
11 Nov, 2012 2 commits
- Batch of changes based on proofreader feedback · 89b1d898
  Adam Chlipala authored Nov 11, 2012
  
  89b1d898
- Updated description of CoqIDE limitations · a4ec840a
  Adam Chlipala authored Nov 11, 2012
  
  a4ec840a
25 Oct, 2012 1 commit
- Batch of changes based on proofreader feedback · 1e89c984
  Adam Chlipala authored Oct 25, 2012
  
  1e89c984
22 Oct, 2012 3 commits
- Batch of changes based on proofreader feedback · 4be7b4d2
  Adam Chlipala authored Oct 22, 2012
  
  4be7b4d2
- Batch of changes based on proofreader feedback · 45e684d7
  Adam Chlipala authored Oct 22, 2012
  
  45e684d7
- Remove hyperlinks to standard library, which were broken anyway · 7632c895
  Adam Chlipala authored Oct 22, 2012
  
  7632c895
14 Oct, 2012 1 commit
- Fix a typo in new recursion combinators example · df735505
  Adam Chlipala authored Oct 14, 2012
  
  df735505
08 Oct, 2012 1 commit
- Batch of changes based on proofreader feedback · e56b9f3a
  Adam Chlipala authored Oct 08, 2012
  
  e56b9f3a
02 Oct, 2012 1 commit
- Batch of changes based on proofreader feedback · 453fc375
  Adam Chlipala authored Oct 02, 2012
  
  453fc375
26 Sep, 2012 1 commit
- Batch of changes based on proofreader feedback · 78fc804e
  Adam Chlipala authored Sep 26, 2012
  
  78fc804e
05 Sep, 2012 1 commit
- Use lmodern LaTeX package for easier copying and pasting · c75a1da7
  Adam Chlipala authored Sep 05, 2012
  
  c75a1da7
02 Sep, 2012 1 commit
- Clearer version of sentence on CIC extensions · 0bae18c1
  Adam Chlipala authored Sep 02, 2012
  
  0bae18c1
30 Aug, 2012 1 commit
- New release · 3afc51bb
  Adam Chlipala authored Aug 30, 2012
  
  3afc51bb
29 Aug, 2012 7 commits
- Spell check · 1c5659f3
  Adam Chlipala authored Aug 29, 2012
  
  1c5659f3
- Finish complete proofreading pass · de133a57
  Adam Chlipala authored Aug 29, 2012
  
  de133a57
- Proofreading pass through Chapter 17 · 419e2d0e
  Adam Chlipala authored Aug 29, 2012
  
  419e2d0e
- Proofreading pass through Chapter 16 · 19ce70ea
  Adam Chlipala authored Aug 29, 2012
  
  19ce70ea
- Proofreading pass through Chapter 15 · 8197a80b
  Adam Chlipala authored Aug 29, 2012
  
  8197a80b
- Proofreading pass through Chapter 14 · 680318ac
  Adam Chlipala authored Aug 29, 2012
  
  680318ac
- Proofreading pass through Chapter 13 · f33e0076
  Adam Chlipala authored Aug 29, 2012
  
  f33e0076
28 Aug, 2012 3 commits
- Proofreading pass through Chapter 12 · a8d87401
  Adam Chlipala authored Aug 28, 2012
  
  a8d87401
- Proofreading pass through Chapter 11 · cf91227a
  Adam Chlipala authored Aug 28, 2012
  
  cf91227a
- Proofreading pass through Chapter 10 · ab85b7bb
  Adam Chlipala authored Aug 28, 2012
  
  ab85b7bb
27 Aug, 2012 2 commits
- Proofreading pass through Chapter 9 · 3fe9ab9c
  Adam Chlipala authored Aug 27, 2012
  
  3fe9ab9c
- Proofreading pass through Chapter 8 · 1580f7db
  Adam Chlipala authored Aug 27, 2012
  
  1580f7db
23 Aug, 2012 2 commits
- Proofreading pass through Chapter 7 · 3d8c2800
  Adam Chlipala authored Aug 23, 2012
  
  3d8c2800
- Typo fixes · a38e22e5
  Adam Chlipala authored Aug 23, 2012
  
  a38e22e5
17 Aug, 2012 1 commit
- Proofreading pass through Chapter 5 · 9e88ea6a
  Adam Chlipala authored Aug 17, 2012
  
  9e88ea6a