Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
| | | | * | Add native compute profiling, BZ#5170 | 2017-08-17 | ||
| |_|_|/ |/| | | | ||||
* | | | | Merge PR #974: Change section caption, improve some wording | 2017-08-17 | ||
|\ \ \ \ | ||||
* | | | | | Document anonymous universes (PR #544). | 2017-08-17 | ||
| | * | | | Adding documentation for Printing Focused option. | 2017-08-17 | ||
| |/ / / |/| | | | ||||
| * | | | mention that tactic is the identity or gives error | 2017-08-16 | ||
| * | | | change section caption, improve some wording | 2017-08-16 | ||
|/ / / | ||||
* | | | Merge PR #831: Port ssreflect user manual to Coq's latex/hevea style | 2017-08-16 | ||
|\ \ \ | ||||
* \ \ \ | Merge PR #948: [doc] Write (@nil nat) instead of (nil nat) | 2017-08-16 | ||
|\ \ \ \ | ||||
* \ \ \ \ | Merge PR #943: Reference Manual: minor wording improvements | 2017-08-16 | ||
|\ \ \ \ \ | ||||
* \ \ \ \ \ | Merge PR #940: Replace jarring use of "Remark" with "Note" | 2017-08-16 | ||
|\ \ \ \ \ \ | ||||
* \ \ \ \ \ \ | Merge PR #934: Fix some coq-tex errors in the reference manual. | 2017-08-16 | ||
|\ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ | Merge PR #864: Some cleanups after cumulativity for inductive types | 2017-08-16 | ||
|\ \ \ \ \ \ \ \ | ||||
| | | | | | * | | | Rewording the introduction | 2017-08-02 | ||
| | | | | | * | | | Rephrasing a couple of sentences in a more factual way. | 2017-08-02 | ||
| | | | | | * | | | Rephrasing the introduction in a more factual and up-to-date way. | 2017-08-02 | ||
| | | | | | * | | | Port ssr manual to Coq's latex/hevea style | 2017-08-02 | ||
| | | | | | * | | | Makefile.doc: implement serve-refman-8080 target | 2017-08-02 | ||
| |_|_|_|_|/ / / |/| | | | | | | | ||||
| | | | | * | | | Update Setoid.tex | 2017-08-02 | ||
| |_|_|_|/ / / |/| | | | | | | ||||
| * | | | | | | Typo in the documentation of cumulativity | 2017-08-02 | ||
| | | | | | * | Unbreak RecTutorial.v | 2017-08-01 | ||
| | | | | | * | Remove old doc/rt files. | 2017-08-01 | ||
| |_|_|_|_|/ |/| | | | | | ||||
| | | | | * | [flags] Remove XML output flag. | 2017-08-01 | ||
| |_|_|_|/ |/| | | | | ||||
| | | * | | Improve style slightly | 2017-08-01 | ||
* | | | | | Merge PR #933: Fix documentation of Hint Mode (bug #4911). | 2017-08-01 | ||
|\ \ \ \ \ | ||||
* \ \ \ \ \ | Merge PR #932: Fix shuffled documentation. | 2017-08-01 | ||
|\ \ \ \ \ \ | ||||
* \ \ \ \ \ \ | Merge PR #929: Add missing paragraph to introduction | 2017-08-01 | ||
|\ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ | Merge PR #925: Document Extraction TestCompile | 2017-08-01 | ||
|\ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ | Merge PR #775: [toplevel] Remove long ago deprecated and NOOP options. | 2017-08-01 | ||
|\ \ \ \ \ \ \ \ \ | ||||
| | | | | | | | | * | Fix incorrect use of "At the end". | 2017-07-31 | ||
| | | | | | | | | * | Minor grammar fix: replace a "then" with a "so". | 2017-07-31 | ||
| |_|_|_|_|_|_|_|/ |/| | | | | | | | | ||||
| | | | | | | | * | Replace jarring use of "Remark" with "Note" | 2017-07-31 | ||
| |_|_|_|_|_|_|/ |/| | | | | | | | ||||
| | | | | | * | | Update documentation of cumulativity | 2017-07-31 | ||
| | | | | | * | | Fix typo and Add Jason's example to the doc | 2017-07-31 | ||
| | | | | | * | | Improve documentation of cumulativity | 2017-07-31 | ||
| |_|_|_|_|/ / |/| | | | | | | ||||
| | | * | | | | Drop paragraph mentioning Addendum as separate doc. | 2017-07-29 | ||
* | | | | | | | Merge PR #823: Async off in Windows by default in CoqIDE | 2017-07-28 | ||
|\ \ \ \ \ \ \ | ||||
| | | | | | | * | Fix some coq-tex errors in the reference manual. | 2017-07-28 | ||
| |_|_|_|_|_|/ |/| | | | | | | ||||
| | | | | | * | Fix documentation of Hint Mode (bug #4911). | 2017-07-28 | ||
| |_|_|_|_|/ |/| | | | | | ||||
| | | | | * | Fix shuffled documentation. | 2017-07-28 | ||
| |_|_|_|/ |/| | | | | ||||
| | | | * | Add missing paragraph to introduction | 2017-07-27 | ||
| |_|_|/ |/| | | | ||||
| | | * | Extraction.tex: mention the possible "From Coq Require Extraction" | 2017-07-27 | ||
| | | * | Extraction TestCompile documented + mentionned in CHANGES | 2017-07-27 | ||
| |_|/ |/| | | ||||
| | * | [toplevel] Remove long ago deprecated and NOOP options. | 2017-07-27 | ||
| |/ |/| | ||||
* | | Adding a V8.7 compatibility version number. | 2017-07-21 | ||
* | | Merge branch 'v8.7' | 2017-07-20 | ||
|\ \ | ||||
| * \ | Merge PR #745: Add timing scripts | 2017-07-19 | ||
| |\ \ | ||||
* | \ \ | Merge PR #865: RefMan-ext: fix some typos | 2017-07-17 | ||
|\ \ \ \ | ||||
| * | | | | Update with non structurally recursive | 2017-07-14 | ||
| | * | | | Sync the manual with the deprecation warnings. | 2017-07-11 | ||
| |/ / / |/| | | | ||||
| | * | | Document the timing targets | 2017-07-11 |