Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
| | | | | * | | [pp] Set printing width for richpp formatter (bug #5244) | 2016-12-04 | ||
| | | | |/ / | | | |/| | | ||||
* | | | | | | Merge branch 'v8.6' | 2016-11-30 | ||
|\ \ \ \ \ \ | | |_|/ / / | |/| | | | | ||||
| * | | | | | Fix #5183 - Two CoqIDE crash errors | 2016-11-30 | ||
| * | | | | | Fix some documentation typos. | 2016-11-24 | ||
* | | | | | | Merge branch 'v8.6' | 2016-11-18 | ||
|\| | | | | | ||||
| | * | | | | lib/Unicodetable: Update. This code has been generated from the latest | 2016-11-16 | ||
| * | | | | | Fix bug in warnings: -w foo was silent when foo did not exist. | 2016-11-14 | ||
| | | | * | | Remove unused feedback_content: Goals | 2016-11-10 | ||
| |_|_|/ / |/| | | | | ||||
| | | * | | Complete a truncated comment | 2016-11-08 | ||
| |_|/ / |/| | | | ||||
| * | | | Removing a special treatment for empty lines in comments. | 2016-11-05 | ||
| * | | | Fix #4837: ./configure -local makes coqdep issue many warnings | 2016-11-04 | ||
| * | | | Remove an OCaml 4.02 construct. | 2016-11-03 | ||
| * | | | Fix various shortcomings of the warnings infrastructure. | 2016-11-02 | ||
* | | | | Merge branch 'v8.6' | 2016-10-29 | ||
|\| | | | ||||
| * | | | Merge remote-tracking branch 'github/pr/319' into v8.6 | 2016-10-28 | ||
| |\ \ \ | ||||
| * | | | | STM: make ~valid state id non optional from APIs | 2016-10-26 | ||
* | | | | | Merge branch 'v8.6' | 2016-10-24 | ||
|\| | | | | ||||
| * | | | | Error Resiliency: more conservative default (only curly braces) | 2016-10-19 | ||
| | * | | | [pp] Try to properly tag error messages in cError. | 2016-10-18 | ||
| |/ / / | ||||
* | | | | Merge branch 'v8.6' | 2016-10-18 | ||
|\| | | | ||||
| * | | | Stopping warning on unrecognized unicode character in notation (fixing #5136). | 2016-10-17 | ||
| * | | | [toplevel] Remove duplicate beautify flags. | 2016-10-17 | ||
* | | | | Merge branch 'v8.6' | 2016-10-17 | ||
|\| | | | ||||
| * | | | Merge PR #224 into v8.6 | 2016-10-12 | ||
| |\ \ \ | ||||
* | | | | | Merge branch 'v8.6' | 2016-10-12 | ||
|\| | | | | ||||
| * | | | | Merge branch 'v8.5' into v8.6 | 2016-10-12 | ||
| |\ \ \ \ | ||||
| | * | | | | Fix #4416: - Incorrect "Error: Incorrect number of goals" | 2016-10-10 | ||
| * | | | | | Moving Pp.comments to CLexer so that Pp is purer (no more side-effect | 2016-10-09 | ||
* | | | | | | Merge branch 'v8.6' | 2016-10-02 | ||
|\| | | | | | ||||
| | | * | | | [pp] Remove duplicate color logger. | 2016-09-30 | ||
| * | | | | | Set the default LtacProf cutoff to 2% | 2016-09-29 | ||
| * | | | | | Fix bug #4798: compat notations should not modify the parser. | 2016-09-29 | ||
| | |/ / / | |/| | | | ||||
| * | | | | fix bug 3683 : adds references to the web site for the bug tracker | 2016-09-29 | ||
| * | | | | -profile-ltac-cutoff alike Show Ltac Profile Cutoff (#5100) | 2016-09-29 | ||
* | | | | | CLEANUP: remove the definition of the "CString.map" function. We will use the... | 2016-09-28 | ||
* | | | | | FIX: a bug in the pattern matching | 2016-09-28 | ||
* | | | | | Add a compatibility flag for 8.6 and refactor. | 2016-09-28 | ||
| * | | | | Fix #5061: Warnings flag has no discernible value | 2016-09-27 | ||
* | | | | | Make the Coq codebase independent from Ltac-related code. | 2016-09-16 | ||
|\ \ \ \ \ | ||||
* \ \ \ \ \ | Merge branch 'v8.6' | 2016-09-14 | ||
|\ \ \ \ \ \ | | |/ / / / | |/| | | | | ||||
| * | | | | | feedback: provide a feeder that prints debug messages | 2016-09-13 | ||
| | * | | | | Unplugging Tacexpr in several interface files. | 2016-09-08 | ||
| |/ / / / |/| | | | | ||||
* | | | | | Merge PR #244. | 2016-09-08 | ||
|\ \ \ \ \ | ||||
* \ \ \ \ \ | Merge branch 'v8.6' | 2016-09-07 | ||
|\ \ \ \ \ \ | | |/ / / / | |/| | | | | ||||
| * | | | | | feedback: support multiple feedback listeners | 2016-09-05 | ||
* | | | | | | CLEANUP: switching from "right-to-left" to "left-to-right" function compositi... | 2016-08-30 | ||
|/ / / / / | ||||
* | | | | | Fast path for set operations. | 2016-08-22 | ||
| * | | | | Make the user_err header an optional parameter. | 2016-08-19 | ||
| * | | | | Remove errorlabstrm in favor of user_err | 2016-08-19 | ||
| * | | | | Unify location handling of error functions. | 2016-08-19 | ||
|/ / / / |