aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
* Merge branch 'v8.6' into trunkGravatar Maxime Dénès2017-03-24
|\
* | [pp] Hide the internal representation of `std_ppcmds`.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [pp] [ide] Minor cleanups in pp code.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [pp] Move terminal-specific tagging to the toplevel.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [pp] Remove special tag type and handler from Pp.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [pp] Debug feeder is not needed anymore.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [pp] Make feedback the only logging mechanism.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [error] Move back fatal_error to toplevelGravatar Emilio Jesus Gallego Arias2017-03-21
* | [feedback] Allow to remove feedback listeners.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [pp] Remove redundant white spacing pp construct.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [pp] Force well-formed boxes by construction.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [pp] Force well-tagged docs by construction.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [pp] Implement n-ary glue.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [pp] Make pp public to allow serialization.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [pp] Prepare for serialization, remove opaque glue.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [pp] Remove `Pp.stras`.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [pp] Replace `Pp.Tag` by `Ppstyle.tag` = `string list`Gravatar Emilio Jesus Gallego Arias2017-03-21
* | Merge PR#134: Enable `-safe-string`Gravatar Maxime Dénès2017-03-21
|\ \
| | * [future] Use eager evaluation for chaining values.Gravatar Emilio Jesus Gallego Arias2017-03-20
| * | [safe-string] lib/miscelaneaGravatar Emilio Jesus Gallego Arias2017-03-14
| * | [safe-string] lib/cUnixGravatar Emilio Jesus Gallego Arias2017-03-14
| * | [safe_string] lib/cThreadGravatar Emilio Jesus Gallego Arias2017-03-14
* | | [future] Remove unused parameter greedy.Gravatar Emilio Jesus Gallego Arias2017-03-14
|/ /
* | Merge PR#189: Remove tabulation support from pretty-printing.Gravatar Maxime Dénès2017-02-20
|\ \
* | | [unicode] Address comments in PR#314.Gravatar Emilio Jesus Gallego Arias2017-02-15
* | | [safe-string] Use `String.init` to build string.Gravatar Emilio Jesus Gallego Arias2017-02-14
* | | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2017-02-01
|\ \ \ | | |/ | |/|
* | | Merge PR#355: Remove unused feedback_content: GoalsGravatar Maxime Dénès2017-01-30
|\ \ \
| | * \ Merge PR#383: fix #5244: set printing width ignored when given enough spaceGravatar Maxime Dénès2017-01-24
| | |\ \
* | | \ \ Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2017-01-19
|\ \ \ \ \ | | |/ / / | |/| | |
| * | | | Fix race condition in STM DAG generation (in debug mode).Gravatar Maxime Dénès2017-01-13
| * | | | Fix broken .aux machinery.Gravatar Guillaume Melquiond2017-01-13
* | | | | Avoid using the deprecated Scanf.fscanf function.Gravatar Maxime Dénès2017-01-09
* | | | | Merge remote-tracking branch 'github/pr/351' into trunkGravatar Maxime Dénès2016-12-19
|\ \ \ \ \
* \ \ \ \ \ Merge remote-tracking branch 'github/pr/363' into trunkGravatar Maxime Dénès2016-12-19
|\ \ \ \ \ \
| | | | | * | [pp] Set printing width for richpp formatter (bug #5244)Gravatar Emilio Jesus Gallego Arias2016-12-04
| | | | |/ / | | | |/| |
* | | | | | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-11-30
|\ \ \ \ \ \ | | |_|/ / / | |/| | | |
| * | | | | Fix #5183 - Two CoqIDE crash errorsGravatar Maxime Dénès2016-11-30
| * | | | | Fix some documentation typos.Gravatar Guillaume Melquiond2016-11-24
* | | | | | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-11-18
|\| | | | |
| | * | | | lib/Unicodetable: Update. This code has been generated from the latestGravatar Yann Régis-Gianas2016-11-16
| * | | | | Fix bug in warnings: -w foo was silent when foo did not exist.Gravatar Maxime Dénès2016-11-14
| | | | * | Remove unused feedback_content: GoalsGravatar CJ Bell2016-11-10
| |_|_|/ / |/| | | |
| | | * | Complete a truncated commentGravatar Arnaud Spiwack2016-11-08
| |_|/ / |/| | |
| * | | Removing a special treatment for empty lines in comments.Gravatar Hugo Herbelin2016-11-05
| * | | Fix #4837: ./configure -local makes coqdep issue many warningsGravatar Maxime Dénès2016-11-04
| * | | Remove an OCaml 4.02 construct.Gravatar Maxime Dénès2016-11-03
| * | | Fix various shortcomings of the warnings infrastructure.Gravatar Maxime Dénès2016-11-02
* | | | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-10-29
|\| | |
| * | | Merge remote-tracking branch 'github/pr/319' into v8.6Gravatar Maxime Dénès2016-10-28
| |\ \ \