Commits · f6842c3658c1224c89411e9588090822f82332af · research / cpdt

13 Jun, 2012 1 commit
- Manual font choice for notation scope delimiters · f6842c36
  Adam Chlipala authored Jun 13, 2012
  
  f6842c36
08 Jun, 2012 17 commits
- New release · 13ab8570
  Adam Chlipala authored Jun 08, 2012
  
  13ab8570
- Typesetting pass over ProgLang · 10140ccb
  Adam Chlipala authored Jun 08, 2012
  
  10140ccb
- Typesetting pass over Large · bf28ba41
  Adam Chlipala authored Jun 08, 2012
  
  bf28ba41
- Typesetting pass over Reflection · 571f4991
  Adam Chlipala authored Jun 08, 2012
  
  571f4991
- Typesetting pass over Match · dba5a221
  Adam Chlipala authored Jun 08, 2012
  
  dba5a221
- Typesetting pass over LogicProg · e2cd4519
  Adam Chlipala authored Jun 08, 2012
  
  e2cd4519
- Typesetting pass over Universes · ee274487
  Adam Chlipala authored Jun 08, 2012
  
  ee274487
- Typesetting pass over Generic · 9b2483bb
  Adam Chlipala authored Jun 08, 2012
  
  9b2483bb
- Typesetting pass over Equality · 886b3a07
  Adam Chlipala authored Jun 08, 2012
  
  886b3a07
- Typesetting pass over DataStruct · 13542f14
  Adam Chlipala authored Jun 08, 2012
  
  13542f14
- Typesetting pass over MoreDep · e3b210aa
  Adam Chlipala authored Jun 08, 2012
  
  e3b210aa
- Typesetting pass over GeneralRec · 455f06ca
  Adam Chlipala authored Jun 08, 2012
  
  455f06ca
- Typesetting pass over Subset · e02b23fd
  Adam Chlipala authored Jun 08, 2012
  
  e02b23fd
- Typesetting pass over Coinductive · 2ddd3a49
  Adam Chlipala authored Jun 08, 2012
  
  2ddd3a49
- Typesetting pass over Predicates · 345e68b4
  Adam Chlipala authored Jun 08, 2012
  
  345e68b4
- Typesetting pass over InductiveTypes · 9315417c
  Adam Chlipala authored Jun 08, 2012
  
  9315417c
- Start figuring out which coqdoc changes will be needed to produce a pretty final version · 70d8f9cc
  Adam Chlipala authored Jun 08, 2012
  
  70d8f9cc
06 Jun, 2012 1 commit
- Get it working in Coq 8.4beta1; use nice coqdoc notation for italics · dfa9fe9d
  Adam Chlipala authored Jun 06, 2012
  
  dfa9fe9d
06 May, 2012 1 commit
- Instructions on directory-local Coq parameter specification, thanks to a tip from Thomas Braibant · 956837df
  Adam Chlipala authored May 06, 2012
  
  956837df
22 Apr, 2012 4 commits
- New release · c7429883
  Adam Chlipala authored Apr 22, 2012
  
  c7429883
- Citations for lazy data structures, Haskell 'deriving', and logic programming · 5bef7e68
  Adam Chlipala authored Apr 22, 2012
  
  5bef7e68
- Citations for continuations and unification · 044ab374
  Adam Chlipala authored Apr 22, 2012
  
  044ab374
- Define 'certified program' · dd36e329
  Adam Chlipala authored Apr 22, 2012
  
  dd36e329
20 Apr, 2012 1 commit
- Typo fixes · e66f5d39
  Adam Chlipala authored Apr 20, 2012
  
  e66f5d39
12 Apr, 2012 7 commits
- Typo fix · 06e3b688
  Adam Chlipala authored Apr 12, 2012
  
  06e3b688
- New release · 72f8b277
  Adam Chlipala authored Apr 12, 2012
  
  72f8b277
- Comment CpdtTactics.v · 549c7318
  Adam Chlipala authored Apr 12, 2012
  
  549c7318
- Baffling unification messages explained · d0d7243d
  Adam Chlipala authored Apr 12, 2012
  
  d0d7243d
- A pass over Large · 4f635e77
  Adam Chlipala authored Apr 12, 2012
  
  4f635e77
- A pass through Match · 15ddf288
  Adam Chlipala authored Apr 12, 2012
  
  15ddf288
- More discussion of axiom avoidance and tactic pitfalls for JMeq · 03a5da24
  Adam Chlipala authored Apr 12, 2012
  
  03a5da24
08 Apr, 2012 1 commit
- Strengthen last theorem of Coinductive · 124a805d
  Adam Chlipala authored Apr 08, 2012
  
  124a805d
03 Apr, 2012 1 commit
- Conclusion · 763b3a1e
  Adam Chlipala authored Apr 03, 2012
  
  763b3a1e
01 Apr, 2012 2 commits
- Typo fixes · 3ff090ba
  Adam Chlipala authored Apr 01, 2012
  
  3ff090ba
- New chapter: ProgLang · f315da14
  Adam Chlipala authored Apr 01, 2012
  
  f315da14
29 Mar, 2012 3 commits
- Get it to build with Coq 8.4 · fc80c88e
  Adam Chlipala authored Mar 29, 2012
  
  fc80c88e
- Date increment · b62f0a81
  Adam Chlipala authored Mar 29, 2012
  
  b62f0a81
- Recursing under binders in reification · dbf29a35
  Adam Chlipala authored Mar 29, 2012
  
  dbf29a35
28 Mar, 2012 1 commit
- One more example of avoiding axioms (getNat) · a0c1af6f
  Adam Chlipala authored Mar 28, 2012
  
  a0c1af6f