Commits · 1580f7dbf301ebd92c6389f095d42806d91094ee · research / cpdt · GitLab

27 Aug, 2012 1 commit
- 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 6 commits
- Proofreading pass through Chapter 5 · 9e88ea6a
  Adam Chlipala authored Aug 17, 2012
  
  9e88ea6a
- Proofreading pass through Chapter 5 · 4da21453
  Adam Chlipala authored Aug 17, 2012
  
  4da21453
- Proofreading pass through Chapter 4 · c3e43bf9
  Adam Chlipala authored Aug 17, 2012
  
  c3e43bf9
- Proofreading pass through Chapter 3 · d7fcf8b5
  Adam Chlipala authored Aug 17, 2012
  
  d7fcf8b5
- Proofreading pass through Chapter 2 · 87d6e447
  Adam Chlipala authored Aug 17, 2012
  
  87d6e447
- Proofreading pass through Chapter 1 · 51986100
  Adam Chlipala authored Aug 17, 2012
  
  51986100
01 Aug, 2012 5 commits
- Finished vertical spacing · fb9172f6
  Adam Chlipala authored Aug 01, 2012
  
  fb9172f6
- Vertical spacing through end of Part II · 5617f735
  Adam Chlipala authored Aug 01, 2012
  
  5617f735
- Vertical spacing pass for MoreDep and DataStruct · 73b0c590
  Adam Chlipala authored Aug 01, 2012
  
  73b0c590
- Undo some overzealous vspace tweaks · 77382d81
  Adam Chlipala authored Aug 01, 2012
  
  77382d81
- Vertical spacing pass through GeneralRec · 537bf93d
  Adam Chlipala authored Aug 01, 2012
  
  537bf93d
30 Jul, 2012 2 commits
- Vertical spacing pass, through end of Subset · 296d3c0d
  Adam Chlipala authored Jul 30, 2012
  
  296d3c0d
- A pass of improvements to vertical spacing, up through end of InductiveTypes · 7df920f6
  Adam Chlipala authored Jul 30, 2012
  
  7df920f6
27 Jul, 2012 3 commits
- New release · 9961dead
  Adam Chlipala authored Jul 27, 2012
  
  9961dead
- A pass over all formatting, after big pile of coqdoc changes · 3b3597a1
  Adam Chlipala authored Jul 27, 2012
  
  3b3597a1
- Changes during more coqdoc hacking · be7d465a
  Adam Chlipala authored Jul 27, 2012
  
  be7d465a
26 Jul, 2012 9 commits
- Changes while hacking on coqdoc · b8535f49
  Adam Chlipala authored Jul 26, 2012
  
  b8535f49
- Finish pass taking advantage of new coqdoc features · 20175fa1
  Adam Chlipala authored Jul 26, 2012
  
  20175fa1
- Pass through Large, to incorporate new coqdoc features · 2960e644
  Adam Chlipala authored Jul 26, 2012
  
  2960e644
- Pass through Reflection, to incorporate new coqdoc features · 953202c1
  Adam Chlipala authored Jul 26, 2012
  
  953202c1
- Pass through Match, to incorporate new coqdoc features · d0670202
  Adam Chlipala authored Jul 26, 2012
  
  d0670202
- Pass through LogicProg, to incorporate new coqdoc features · 5d721020
  Adam Chlipala authored Jul 26, 2012
  
  5d721020
- Pass through Universes, to incorporate new coqdoc features · 48d333f0
  Adam Chlipala authored Jul 26, 2012
  
  48d333f0
- Pass through Generic, to incorporate new coqdoc features · af840414
  Adam Chlipala authored Jul 26, 2012
  
  af840414
- Pass through Equality, to incorporate new coqdoc features · 4035dcf8
  Adam Chlipala authored Jul 26, 2012
  
  4035dcf8
25 Jul, 2012 9 commits
- Pass through DataStruct, to incorporate new coqdoc features; globally replace... · 7c543be3
  Adam Chlipala authored Jul 25, 2012
```
Pass through DataStruct, to incorporate new coqdoc features; globally replace [refl_equal] with [eq_refl]
```
  7c543be3
- Pass through MoreDep, to incorporate new coqdoc features · 8b43a128
  Adam Chlipala authored Jul 25, 2012
  
  8b43a128
- Pass through GeneralRec, to incorporate new coqdoc features · 5de03142
  Adam Chlipala authored Jul 25, 2012
  
  5de03142
- Pass through Subset, to incorporate new coqdoc features · b85266df
  Adam Chlipala authored Jul 25, 2012
  
  b85266df
- Pass through Coinductive, to incorporate new coqdoc features · c93caaba
  Adam Chlipala authored Jul 25, 2012
  
  c93caaba
- Pass through Predicates, to incorporate new coqdoc features · 51da4ac1
  Adam Chlipala authored Jul 25, 2012
  
  51da4ac1
- Pass through InductiveTypes, to incorporate new coqdoc features · cc31cade
  Adam Chlipala authored Jul 25, 2012
  
  cc31cade
- Pass through StackMachine, to incorporate new coqdoc features · 3968a69c
  Adam Chlipala authored Jul 25, 2012
  
  3968a69c
- Improve Intro mark-up, based on new coqdoc features planned for final 8.4 release · c7a85fe2
  Adam Chlipala authored Jul 25, 2012
  
  c7a85fe2
17 Jul, 2012 1 commit
- Update for Coq trunk version intended for final 8.4 release · a6fa0f0e
  Adam Chlipala authored Jul 17, 2012
  
  a6fa0f0e
13 Jun, 2012 1 commit
- Manual font choice for notation scope delimiters · f6842c36
  Adam Chlipala authored Jun 13, 2012
  
  f6842c36
08 Jun, 2012 1 commit
- New release · 13ab8570
  Adam Chlipala authored Jun 08, 2012
  
  13ab8570