summaryrefslogtreecommitdiffhomepage
BranchCommit messageAuthorAge
masterCorrect some spelling errorsBenjamin Barenblat3 years
 
 
AgeCommit messageAuthor
2018-07-22Correct some spelling errorsmasterBenjamin Barenblat
2018-07-22Merge PR #8095: Improvements for the chapter 'Detailed examples of tactics' o...Théo Zimmermann
2018-07-21Solved problems with snippets giving errors in chapter 'Detailed examples of ...Zeimer
2018-07-21Rewrote examples about permutations, logic and type isomorphisms: changed the...Zeimer
2018-07-21Improvements for the chapter 'Detailed examples of tactics' of the Reference ...Zeimer
2018-07-21Merge PR #8072: Fixes for chapters 'Vernacular commands', 'Proof handling' an...Théo Zimmermann
2018-07-21Merge PR #8086: Improved chapter 'The tactic language' of the Reference Manual.Théo Zimmermann
2018-07-20Small improvements suggested in comments to PR #8086.Zeimer
2018-07-20Improved chapter 'The tactic language' of the Reference Manual.Zeimer
2018-07-20Added :undocumented: and :cmd: as suggested in comments for PR #8072.Zeimer
2018-07-20Fixed many spelling and grammar errors in the chapters 'Vernacular commands',...Zeimer
2018-07-20Merge PR #8037: Export a function to apply toplevel tactic values in Tacinterp.Enrico Tassi
2018-07-20Merge PR #8089: Remove declare_object for SsrHave NoTCResolution.Enrico Tassi
2018-07-20Merge PR #8070: Fixed some typos and grammar errors from section 'The languag...Théo Zimmermann
2018-07-19Rewrote section 'Accessing the Type level' in the chapter 'The Coq library' o...Zeimer
2018-07-19Fixed some typos and grammar errors from section 'The language' of the Refere...Zeimer
[...]
 
Clone
https://git.benjamin.barenblat.name/coq.git
https://github.com/bbarenblat/coq.git