aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/pp.ml
Commit message (Expand)AuthorAge
* Fixed #4274, bad formatting of messages in emacs mode.Gravatar Pierre Courtieu2015-10-19
* emacs output mode: Added <infomsg> tag to debug messages.Gravatar Pierre Courtieu2015-10-02
* 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
* Fixing #3042Gravatar ppedrot2013-05-23
* Fixing Pp.strbrk which was reversing words.Gravatar ppedrot2013-05-16
* std_ppcmds is persistent, errors can be printed twiceGravatar gareuselesinge2013-05-16
* Uniformizing the [if_warn] flag used for warning printing and putGravatar ppedrot2013-05-08
* Coqide: new feedback mechanism for structured contentGravatar gareuselesinge2013-04-25
* Restrict (try...with...) to avoid catching critical exn (part 8)Gravatar letouzey2013-03-13
* Updating the backtrace handling mechanism to accomodate the newGravatar ppedrot2013-02-18
* Actually adding backtrace handling.Gravatar ppedrot2013-01-28
* Removed a unused function in PpGravatar ppedrot2012-12-08
* Monomorphized a lot of equalities over OCaml integers, thanks toGravatar ppedrot2012-11-08
* lib/Pp:Gravatar regisgia2012-09-14
* The new ocaml compiler (4.00) has a lot of very cool warnings,Gravatar regisgia2012-09-14
* Made Pp.std_ppcmds opaque.Gravatar ppedrot2012-09-13
* Moved Pp to CLib. In particular, Pp does not depend on CAMLP4/5Gravatar ppedrot2012-09-10
* reparation du make depend et du .dependGravatar letouzey2001-12-19
* compat ocaml 3.03Gravatar filliatr2001-12-13