Certified Programming with Dependent Types

log

find changesets by author, revision, files, or words in the commit message
less more | rev 490: (0) -300 -100 -60 tip
age author description
5 months ago Adam Chlipala Coq'Art exercisesdefault tip
5 months ago Adam Chlipala Exercises online
5 months ago Adam Chlipala Incorporate feedback from Nathan Collins
5 months ago Adam Chlipala Add explicit warning that Coq 8.4 or later is required
5 months ago Adam Chlipala New release
5 months ago Adam Chlipala Small wording change suggested by a proofreader
5 months ago Adam Chlipala Last round of feedback from class at Penn
5 months ago Adam Chlipala Update Match to take into account a number of misunderstandings of tactic execution in 8.4 and 8.4pl1
6 months ago Adam Chlipala Web page update on proofreading
6 months ago Adam Chlipala Link to Pierce's Fall 2012 class
6 months ago Adam Chlipala Batch of changes based on proofreader feedback
6 months ago Adam Chlipala Batch of changes based on proofreader feedback
7 months ago Adam Chlipala Batch of changes based on proofreader feedback
7 months ago Adam Chlipala Updated description of CoqIDE limitations
7 months ago Adam Chlipala Batch of changes based on proofreader feedback
8 months ago Adam Chlipala Batch of changes based on proofreader feedback
8 months ago Adam Chlipala Batch of changes based on proofreader feedback
8 months ago Adam Chlipala Remove hyperlinks to standard library, which were broken anyway
8 months ago Adam Chlipala Fix a typo in new recursion combinators example
8 months ago Adam Chlipala Batch of changes based on proofreader feedback
8 months ago Adam Chlipala Batch of changes based on proofreader feedback
8 months ago Adam Chlipala Batch of changes based on proofreader feedback
9 months ago Adam Chlipala Use lmodern LaTeX package for easier copying and pasting
9 months ago Adam Chlipala Clearer version of sentence on CIC extensions
9 months ago Adam Chlipala New release
9 months ago Adam Chlipala Spell check
9 months ago Adam Chlipala Finish complete proofreading pass
9 months ago Adam Chlipala Proofreading pass through Chapter 17
9 months ago Adam Chlipala Proofreading pass through Chapter 16
9 months ago Adam Chlipala Proofreading pass through Chapter 15
9 months ago Adam Chlipala Proofreading pass through Chapter 14
9 months ago Adam Chlipala Proofreading pass through Chapter 13
9 months ago Adam Chlipala Proofreading pass through Chapter 12
9 months ago Adam Chlipala Proofreading pass through Chapter 11
9 months ago Adam Chlipala Proofreading pass through Chapter 10
9 months ago Adam Chlipala Proofreading pass through Chapter 9
9 months ago Adam Chlipala Proofreading pass through Chapter 8
9 months ago Adam Chlipala Proofreading pass through Chapter 7
10 months ago Adam Chlipala Typo fixes
10 months ago Adam Chlipala Proofreading pass through Chapter 5
10 months ago Adam Chlipala Proofreading pass through Chapter 5
10 months ago Adam Chlipala Proofreading pass through Chapter 4
10 months ago Adam Chlipala Proofreading pass through Chapter 3
10 months ago Adam Chlipala Proofreading pass through Chapter 2
10 months ago Adam Chlipala Proofreading pass through Chapter 1
10 months ago Adam Chlipala Finished vertical spacing
10 months ago Adam Chlipala Vertical spacing through end of Part II
10 months ago Adam Chlipala Vertical spacing pass for MoreDep and DataStruct
10 months ago Adam Chlipala Undo some overzealous vspace tweaks
10 months ago Adam Chlipala Vertical spacing pass through GeneralRec
10 months ago Adam Chlipala Vertical spacing pass, through end of Subset
10 months ago Adam Chlipala A pass of improvements to vertical spacing, up through end of InductiveTypes
10 months ago Adam Chlipala New release
10 months ago Adam Chlipala A pass over all formatting, after big pile of coqdoc changes
10 months ago Adam Chlipala Changes during more coqdoc hacking
10 months ago Adam Chlipala Changes while hacking on coqdoc
10 months ago Adam Chlipala Finish pass taking advantage of new coqdoc features
10 months ago Adam Chlipala Pass through Large, to incorporate new coqdoc features
10 months ago Adam Chlipala Pass through Reflection, to incorporate new coqdoc features
10 months ago Adam Chlipala Pass through Match, to incorporate new coqdoc features
less more | rev 490: (0) -300 -100 -60 tip