aboutsummaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Expand)Author
2017-07-20Merge branch 'v8.7'Maxime Dénès
2017-07-19Merge PR #745: Add timing scriptsMaxime Dénès
2017-07-17Merge PR #865: RefMan-ext: fix some typosMaxime Dénès
2017-07-14Update with non structurally recursivewilliam-lawvere
2017-07-11Sync the manual with the deprecation warnings.Théo Zimmermann
2017-07-11Document the timing targetsJason Gross
2017-07-11Strip trailing spacesJason Gross
2017-07-07RefMan-ext: fix some typosWilliam Lawvere
2017-07-07Merge PR #842: Update the Tutorial.Maxime Dénès
2017-07-07Merge PR #835: Remove doc/refman/RefMan-ind.texMaxime Dénès
2017-07-05Merge PR #837: Add inversion_sigma to CHANGES and to docMaxime Dénès
2017-07-05Merge PR #850: Improve grammar in RefMan-Gal and RefMan-synMaxime Dénès
2017-07-05Merge PR #832: Document an example `Makefile` for `coq_makefile`Maxime Dénès
2017-07-04Merge branch 'v8.6'Pierre-Marie Pédrot
2017-07-01Update RefMan-syn.texwilliam-lawvere
2017-07-01Merge remote-tracking branch 'upstream/trunk' into trunkWilliam Lawvere
2017-07-01RefMan-gal: improve grammarWilliam Lawvere
2017-07-01RefMan-syn: grammar editWilliam Lawvere
2017-06-30Document an example `Makefile` for `coq_makefile`Jason Gross
2017-06-30Remove doc/refman/RefMan-ind.texJason Gross
2017-06-30Add doc for inversion_sigma to RefMan-tacJason Gross
2017-06-30Mention again how to report bug and get version number.Théo Zimmermann
2017-06-29Better phrasing.Théo Zimmermann
2017-06-29More substance on discouraged practices.Théo Zimmermann
2017-06-29Some more corrections to the tutorial.Théo Zimmermann
2017-06-29Mask the reliance on coqtop.Théo Zimmermann
2017-06-28Update the Tutorial.Théo Zimmermann
2017-06-26Merge PR#756: Fix Bug #5574, document function scopeMaxime Dénès
2017-06-23Fix Bug #5574, document function scopePaul Steckler
2017-06-23Merge PR#740: Refactor documentation of records.Maxime Dénès
2017-06-19Merge PR#777: Improving documentation of tactic "move" (report #4561)Maxime Dénès
2017-06-16Refactor documentation of records.Théo Zimmermann
2017-06-16Merge PR#767: Document named evars (including Show ident)Maxime Dénès
2017-06-16Document cumulativity for inductive typesAmin Timany
2017-06-15Merge PR#375: DeprecationMaxime Dénès
2017-06-14Merge PR#765: Remove obsolete Show commandsMaxime Dénès
2017-06-14Prelude : no more autoload of plugins extraction and recdefPierre Letouzey
2017-06-13Merge remote-tracking branch 'upstream/trunk' into trunkWilliam Lawvere
2017-06-14Remove support for Coq 8.4.Guillaume Melquiond
2017-06-13doc: improve grammar of RefMan-synWilliam Lawvere
2017-06-13Improving documentation of tactic "move" (report #4561).Hugo Herbelin
2017-06-13BigNums: remove files about BigN,BigZ,BigQ (now in an separate git repo)Pierre Letouzey
2017-06-13Document instantiate (ident := term) and make it the preferred variant.Théo Zimmermann
2017-06-13Document Show ident.Théo Zimmermann
2017-06-13Document evar naming syntax.Théo Zimmermann
2017-06-12Remove commented documentation for Show Tree.Théo Zimmermann
2017-06-07Fix documentation of Typeclasses eauto :=Théo Zimmermann
2017-06-01Merge PR#449: make specialize smarter (bug 5370).Maxime Dénès
2017-05-31Documenting the new behaviour of specialize.Pierre Courtieu
2017-05-30Documentation for eassert, eenough, epose proof, eset, eremember, epose.Hugo Herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 01:50:29 +0000