aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/pp.mli
Commit message (Expand)AuthorAge
* Improving spacing in printing disjunctive patterns.Gravatar Hugo Herbelin2017-12-12
* deprecate Pp.std_ppcmds type aliasGravatar Matej Košík2017-07-27
* format pairs of items for pr_depth to get alternating separatorsGravatar Paul Steckler2017-07-12
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* completing a sentence in a commentGravatar Matej Košík2017-06-07
* [toplevel] Remove exception error printer in favor of feedback printer.Gravatar Emilio Jesus Gallego Arias2017-04-05
* [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] Make feedback the only logging mechanism.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#189: Remove tabulation support from pretty-printing.Gravatar Maxime Dénès2017-02-20
|\
* \ Merge PR #224 into v8.6Gravatar Pierre-Marie Pédrot2016-10-12
|\ \
* | | Moving Pp.comments to CLexer so that Pp is purer (no more side-effectGravatar Hugo Herbelin2016-10-09
| * | [pp] Remove duplicate color logger.Gravatar Emilio Jesus Gallego Arias2016-09-30
|/ /
* | A new infrastructure for warnings.Gravatar Maxime Dénès2016-06-29
* | Add documentation to the low-level `Pp` functions.Gravatar Emilio Jesus Gallego Arias2016-06-02
| * Remove tabulation support from pretty-printing.Gravatar Guillaume Melquiond2016-06-02
|/
* Feedback cleanupGravatar Emilio Jesus Gallego Arias2016-05-31
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-05-09
|\
| * typoGravatar Enrico Tassi2016-05-04
* | In pr_clauses, do not print a leading space by default so that it canGravatar Hugo Herbelin2016-04-09
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\|
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | Rich printing of messages.Gravatar Pierre-Marie Pédrot2015-09-20
|/
* Add a [Redirect] vernacular commandGravatar Clément Pit--Claudel2015-05-04
* Removing dead code in Pp.Gravatar Pierre-Marie Pédrot2015-04-23
* Update headers.Gravatar Maxime Dénès2015-01-12
* msg_info now puts infomsg tag in emacs mode.Gravatar Pierre Courtieu2014-12-16
* Changed bullet informations to warning for better display in PG.Gravatar Pierre Courtieu2014-12-15
* Feedback: API cleaned up, documented and made user extensibleGravatar Enrico Tassi2014-11-27
* Plug the dynamic tags in the Richpp mechanism.Gravatar Pierre-Marie Pédrot2014-11-10
* Adding a dynamic tag type in Pp.Gravatar Pierre-Marie Pédrot2014-11-10
* lib/Pp.tag: New.Gravatar Regis-Gianas2014-11-04
* lib/Pp.rewrite: New.Gravatar Regis-Gianas2014-11-04
* lib/Pp: Publish combinators for tags opening and closing.Gravatar Regis-Gianas2014-11-04
* Feedback message: hold extra info to help routingGravatar Enrico Tassi2014-10-31
* STM: encapsulate Pp.message in Feedback.feedbackGravatar Carst Tankink2014-08-04
* make the standard logging facility stm awareGravatar Enrico Tassi2014-07-11
* all coqide specific files moved into ide/Gravatar Enrico Tassi2014-06-25
* Remove many superfluous 'open' indicated by ocamlc -w +33Gravatar Pierre Letouzey2014-03-05
* Coqide ported to STMGravatar gareuselesinge2013-08-08