Commit message (Expand) | Author | Age | |
---|---|---|---|
* | [safe-string] lib/miscelanea | 2017-03-14 | |
* | [safe-string] lib/cUnix | 2017-03-14 | |
* | [safe_string] lib/cThread | 2017-03-14 | |
* | Merge PR#189: Remove tabulation support from pretty-printing. | 2017-02-20 | |
|\ | |||
* | | [unicode] Address comments in PR#314. | 2017-02-15 | |
* | | [safe-string] Use `String.init` to build string. | 2017-02-14 | |
* | | Merge branch 'v8.6' | 2017-02-01 | |
|\ \ | |||
* \ \ | Merge PR#355: Remove unused feedback_content: Goals | 2017-01-30 | |
|\ \ \ | |||
| | * \ | Merge PR#383: fix #5244: set printing width ignored when given enough space | 2017-01-24 | |
| | |\ \ | |||
* | | \ \ | Merge branch 'v8.6' | 2017-01-19 | |
|\ \ \ \ \ | | |/ / / | |/| | | | |||
| * | | | | Fix race condition in STM DAG generation (in debug mode). | 2017-01-13 | |
| * | | | | Fix broken .aux machinery. | 2017-01-13 | |
* | | | | | Avoid using the deprecated Scanf.fscanf function. | 2017-01-09 | |
* | | | | | Merge remote-tracking branch 'github/pr/351' into trunk | 2016-12-19 | |
|\ \ \ \ \ | |||
* \ \ \ \ \ | Merge remote-tracking branch 'github/pr/363' into trunk | 2016-12-19 | |
|\ \ \ \ \ \ | |||
| | | | | * | | [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 |