aboutsummaryrefslogtreecommitdiff
path: root/lib/pp.ml
AgeCommit message (Expand)Author
2019-07-08[core] [api] Support OCaml 4.08Emilio Jesus Gallego Arias
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2019-01-22Make prvect tail recursive (fix #9355)Gaëtan Gilbert
2018-10-06[api] Remove (most) 8.9 deprecated objects.Emilio Jesus Gallego Arias
2018-07-23Displays the differences between successive proof steps in coqtop and CoqIDE.Jim Fehrle
2018-02-27Update headers following #6543.Théo Zimmermann
2017-12-12Improving spacing in printing disjunctive patterns.Hugo Herbelin
2017-10-05[pp] Minor optimization in `Pp.t` construction and gluing.Emilio Jesus Gallego Arias
2017-07-27deprecate Pp.std_ppcmds type aliasMatej Košík
2017-07-20Merge PR #898: [pp] Fix bugs 5651 [incorrect thunk in pretty printer]Maxime Dénès
2017-07-19[pp] Fix bugs 5651 [incorrect thunk in pretty printer]Emilio Jesus Gallego Arias
2017-07-12format pairs of items for pr_depth to get alternating separatorsPaul Steckler
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-04-05[toplevel] Remove exception error printer in favor of feedback printer.Emilio Jesus Gallego Arias
2017-03-21[pp] Hide the internal representation of `std_ppcmds`.Emilio Jesus Gallego Arias
2017-03-21[pp] [ide] Minor cleanups in pp code.Emilio Jesus Gallego Arias
2017-03-21[pp] Move terminal-specific tagging to the toplevel.Emilio Jesus Gallego Arias
2017-03-21[pp] Remove special tag type and handler from Pp.Emilio Jesus Gallego Arias
2017-03-21[pp] Make feedback the only logging mechanism.Emilio Jesus Gallego Arias
2017-03-21[pp] Remove redundant white spacing pp construct.Emilio Jesus Gallego Arias
2017-03-21[pp] Force well-formed boxes by construction.Emilio Jesus Gallego Arias
2017-03-21[pp] Force well-tagged docs by construction.Emilio Jesus Gallego Arias
2017-03-21[pp] Implement n-ary glue.Emilio Jesus Gallego Arias
2017-03-21[pp] Make pp public to allow serialization.Emilio Jesus Gallego Arias
2017-03-21[pp] Prepare for serialization, remove opaque glue.Emilio Jesus Gallego Arias
2017-03-21[pp] Remove `Pp.stras`.Emilio Jesus Gallego Arias
2017-03-21[pp] Replace `Pp.Tag` by `Ppstyle.tag` = `string list`Emilio Jesus Gallego Arias
2017-02-20Merge PR#189: Remove tabulation support from pretty-printing.Maxime Dénès
2016-11-05Removing a special treatment for empty lines in comments.Hugo Herbelin
2016-10-12Merge PR #224 into v8.6Pierre-Marie Pédrot
2016-10-09Moving Pp.comments to CLexer so that Pp is purer (no more side-effectHugo Herbelin
2016-09-30[pp] Remove duplicate color logger.Emilio Jesus Gallego Arias
2016-07-08Fixing the printing of unknown locations by adding a newline.Pierre-Marie Pédrot
2016-06-29A new infrastructure for warnings.Maxime Dénès
2016-06-02Remove tabulation support from pretty-printing.Guillaume Melquiond
2016-05-31Feedback cleanupEmilio Jesus Gallego Arias
2016-05-13Dyn: simplify API introducing an Easy submoduleEnrico Tassi
2016-04-09In pr_clauses, do not print a leading space by default so that it canHugo Herbelin
2016-03-10Removing OCaml deprecated function names from the Lazy module.Pierre-Marie Pédrot
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-12-05Factorizing unsafe code by relying on the new Dyn module.Pierre-Marie Pédrot
2015-10-19Merge branch 'v8.5'Pierre-Marie Pédrot
2015-10-19Fixed #4274, bad formatting of messages in emacs mode.Pierre Courtieu
2015-10-02Merge branch 'v8.5'Pierre-Marie Pédrot
2015-10-02emacs output mode: Added <infomsg> tag to debug messages.Pierre Courtieu
2015-09-20Rich printing of messages.Pierre-Marie Pédrot
2015-05-04Add a [Redirect] vernacular commandClément Pit--Claudel
2015-04-23Remove almost all the uses of string concatenation when building error messages.Guillaume Melquiond
2015-04-23Removing dead code in Pp.Pierre-Marie Pédrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 17:12:17 +0000