aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/pp.ml
Commit message (Expand)AuthorAge
* Removing a special treatment for empty lines in comments.Gravatar Hugo Herbelin2016-11-05
* 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
|/
* Fixing the printing of unknown locations by adding a newline.Gravatar Pierre-Marie Pédrot2016-07-08
* A new infrastructure for warnings.Gravatar Maxime Dénès2016-06-29
* Feedback cleanupGravatar Emilio Jesus Gallego Arias2016-05-31
* Dyn: simplify API introducing an Easy submoduleGravatar Enrico Tassi2016-05-13
* In pr_clauses, do not print a leading space by default so that it canGravatar Hugo Herbelin2016-04-09
* Removing OCaml deprecated function names from the Lazy module.Gravatar Pierre-Marie Pédrot2016-03-10
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | Factorizing unsafe code by relying on the new Dyn module.Gravatar Pierre-Marie Pédrot2015-12-05
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-10-19
|\|
| * Fixed #4274, bad formatting of messages in emacs mode.Gravatar Pierre Courtieu2015-10-19
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-10-02
|\|
| * emacs output mode: Added <infomsg> tag to debug messages.Gravatar Pierre Courtieu2015-10-02
* | Rich printing of messages.Gravatar Pierre-Marie Pédrot2015-09-20
|/
* Add a [Redirect] vernacular commandGravatar Clément Pit--Claudel2015-05-04
* Remove almost all the uses of string concatenation when building error messages.Gravatar Guillaume Melquiond2015-04-23
* Removing dead code in Pp.Gravatar Pierre-Marie Pédrot2015-04-23
* Pp: obsolete comment.Gravatar Arnaud Spiwack2015-04-22
* Do not use list concatenation when gluing streams together, just mark them as...Gravatar Guillaume Melquiond2015-04-22
* Fixing printing of ordinals.Gravatar Pierre-Marie Pédrot2015-02-26
* Removing dead code.Gravatar Pierre-Marie Pédrot2015-02-02
* Update headers.Gravatar Maxime Dénès2015-01-12
* Fixed bad newlines in output for std output and emacs.Gravatar Pierre Courtieu2014-12-18
* msg_info now puts infomsg tag in emacs mode.Gravatar Pierre Courtieu2014-12-16
* Getting rid of Exninfo hacks.Gravatar Pierre-Marie Pédrot2014-12-16
* Changed bullet informations to warning for better display in PG.Gravatar Pierre Courtieu2014-12-15
* Switch the few remaining iso-latin-1 files to utf8Gravatar Pierre Letouzey2014-12-09
* Feedback: API cleaned up, documented and made user extensibleGravatar Enrico Tassi2014-11-27
* Removing deprecated code handling color in Pp.Gravatar Pierre-Marie Pédrot2014-11-15
* 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
* lib/Pp.ppcmd_token:Gravatar Regis-Gianas2014-11-04
* lib/Pp: Cosmetics.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
* Pp: only one default feedback idGravatar Enrico Tassi2014-07-29
* make the standard logging facility stm awareGravatar Enrico Tassi2014-07-11
* all coqide specific files moved into ide/Gravatar Enrico Tassi2014-06-25
* Fix output test-suite 'simpl tactic' -> 'reduction tactics'Gravatar Pierre Boutillier2014-02-28
* Tracking memory misallocation by trying to improve sharing.Gravatar Pierre-Marie Pédrot2014-02-03
* Do not compute formatter UTF8 length at creation time.Gravatar ppedrot2013-11-08
* Some more hand-written comparison functions to avoid polymorphic comparison.Gravatar xclerc2013-10-14
* Coqide ported to STMGravatar gareuselesinge2013-08-08