aboutsummaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Expand)Author
2015-10-06Merge branch 'v8.5'Pierre-Marie Pédrot
2015-10-04Fix typo. (Fix bug #4355)Guillaume Melquiond
2015-10-02Mark the Coq.Compat files for documentation. (Fix bug #4353)Guillaume Melquiond
2015-10-02Fixing error messages about Hint.Hugo Herbelin
2015-10-02Improving reference manual in that auto uses simple apply rather than apply.Hugo Herbelin
2015-10-02Merge branch 'v8.5'Pierre-Marie Pédrot
2015-09-30Fixing documentation wrt the ctrl-shift-u Unicode input method (see #2013).Hugo Herbelin
2015-09-28Make -load-vernac-object respect the loadpath.Guillaume Melquiond
2015-09-26Documenting how to support some special unicode characters in coqdocHugo Herbelin
2015-09-26Clarifying the doc of coqdoc --utf8 as discussed on coq-club on August 19, 2015.Hugo Herbelin
2015-09-25Merge branch 'v8.5'Pierre-Marie Pédrot
2015-09-25The -require option now accepts a logical path instead of a physical one.Pierre-Marie Pédrot
2015-09-25Updating the documentation and the toolchain w.r.t. the change in -compile.Pierre-Marie Pédrot
2015-09-21Fixing tutorial.Pierre-Marie Pédrot
2015-09-13Merge branch 'v8.5'Pierre-Marie Pédrot
2015-09-10typo in refman.Pierre Courtieu
2015-09-08Documenting the new behaviour of the Shrink Obligations flag.Pierre-Marie Pédrot
2015-08-22Documenting the Shrink Abstract option.Pierre-Marie Pédrot
2015-08-22Merge branch 'v8.5'Pierre-Marie Pédrot
2015-08-17Remove generatable documentation files from repository. (Fix bug #4315)Guillaume Melquiond
2015-08-14Revert commit 18796b6aea453bdeef1ad12ce80eeb220bf01e67, close 3080Jason Gross
2015-08-05Merge branch 'v8.5'Pierre-Marie Pédrot
2015-08-02Granting Jason's request for an ad hoc compatibility option onHugo Herbelin
2015-07-31Fix typos in the Extraction part of the reference manual.Guillaume Melquiond
2015-07-31Fix typos in the Micromega part of the reference manual.Guillaume Melquiond
2015-07-31Improve the table of content of the reference manual.Guillaume Melquiond
2015-07-31Remove some outdated files and fix permissions.Guillaume Melquiond
2015-07-30Avoid suggesting elim and decompose in the FAQ.Guillaume Melquiond
2015-07-30Remove some output of Qed in the FAQ.Guillaume Melquiond
2015-07-30Fix some broken Coq scripts in the documentation.Guillaume Melquiond
2015-07-29Improve the FAQ a bit.Guillaume Melquiond
2015-07-29Merge branch 'v8.5'Pierre-Marie Pédrot
2015-07-28Reset a dangling proof in the FAQ.Guillaume Melquiond
2015-07-27Merge branch 'v8.5'Pierre-Marie Pédrot
2015-07-27search: Add an output-name-only search optionClément Pit--Claudel
2015-07-26Regenerate the axiom figure of the FAQ.Guillaume Melquiond
2015-07-26Remove obsolete question about eta-conversion.Guillaume Melquiond
2015-07-22Refman: document Show Universes.Matthieu Sozeau
2015-07-22Remove obsolete documentation. (Fix bug #4238)Guillaume Melquiond
2015-07-18Merge branch 'v8.5'Pierre-Marie Pédrot
2015-07-08Fix documentation of universes.Matthieu Sozeau
2015-07-08Fix documentation.Guillaume Melquiond
2015-07-07Document Set/Print Firstorder Solver option.Matthieu Sozeau
2015-06-28Merge branch 'v8.5'Pierre-Marie Pédrot
2015-06-26Introduction of a "Undelimit Scope" command, undoing "Delimit Scope"Lionel Rieg
2015-06-26Typos in my previous edition of the reference manual.Assia Mahboubi
2015-06-26Some edition in the coq_makefile/_CoqProject section.Assia Mahboubi
2015-06-26Added _CoqProject to the index of the reference manual.Assia Mahboubi
2015-06-22Merge remote-tracking branch 'forge/v8.5'Pierre Boutillier
2015-06-17Doc: Workers do check for guardedness before sending proofs backEnrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-25 15:19:28 +0000