aboutsummaryrefslogtreecommitdiff
path: root/lib/pp.ml
AgeCommit message (Expand)Author
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
2015-04-22Pp: obsolete comment.Arnaud Spiwack
2015-04-22Do not use list concatenation when gluing streams together, just mark them as...Guillaume Melquiond
2015-02-26Fixing printing of ordinals.Pierre-Marie Pédrot
2015-02-02Removing dead code.Pierre-Marie Pédrot
2015-01-12Update headers.Maxime Dénès
2014-12-18Fixed bad newlines in output for std output and emacs.Pierre Courtieu
2014-12-16msg_info now puts infomsg tag in emacs mode.Pierre Courtieu
2014-12-16Getting rid of Exninfo hacks.Pierre-Marie Pédrot
2014-12-15Changed bullet informations to warning for better display in PG.Pierre Courtieu
2014-12-09Switch the few remaining iso-latin-1 files to utf8Pierre Letouzey
2014-11-27Feedback: API cleaned up, documented and made user extensibleEnrico Tassi
2014-11-15Removing deprecated code handling color in Pp.Pierre-Marie Pédrot
2014-11-10Plug the dynamic tags in the Richpp mechanism.Pierre-Marie Pédrot
2014-11-10Adding a dynamic tag type in Pp.Pierre-Marie Pédrot
2014-11-04lib/Pp.tag: New.Regis-Gianas
2014-11-04lib/Pp.rewrite: New.Regis-Gianas
2014-11-04lib/Pp: Publish combinators for tags opening and closing.Regis-Gianas
2014-11-04lib/Pp.ppcmd_token:Regis-Gianas
2014-11-04lib/Pp: Cosmetics.Regis-Gianas
2014-10-31Feedback message: hold extra info to help routingEnrico Tassi
2014-08-04STM: encapsulate Pp.message in Feedback.feedbackCarst Tankink
2014-07-29Pp: only one default feedback idEnrico Tassi
2014-07-11make the standard logging facility stm awareEnrico Tassi
2014-06-25all coqide specific files moved into ide/Enrico Tassi
2014-02-28Fix output test-suite 'simpl tactic' -> 'reduction tactics'Pierre Boutillier
2014-02-03Tracking memory misallocation by trying to improve sharing.Pierre-Marie Pédrot
2013-11-08Do not compute formatter UTF8 length at creation time.ppedrot
2013-10-14Some more hand-written comparison functions to avoid polymorphic comparison.xclerc
2013-08-08Coqide ported to STMgareuselesinge
2013-05-23Fixing #3042ppedrot
2013-05-16Fixing Pp.strbrk which was reversing words.ppedrot
2013-05-16std_ppcmds is persistent, errors can be printed twicegareuselesinge
2013-05-08Uniformizing the [if_warn] flag used for warning printing and putppedrot
2013-04-25Coqide: new feedback mechanism for structured contentgareuselesinge
2013-03-13Restrict (try...with...) to avoid catching critical exn (part 8)letouzey
2013-02-18Updating the backtrace handling mechanism to accomodate the newppedrot
2013-01-28Actually adding backtrace handling.ppedrot
2012-12-08Removed a unused function in Ppppedrot
2012-11-08Monomorphized a lot of equalities over OCaml integers, thanks toppedrot
2012-09-14lib/Pp:regisgia
2012-09-14The new ocaml compiler (4.00) has a lot of very cool warnings,regisgia
2012-09-13Made Pp.std_ppcmds opaque.ppedrot
2012-09-10Moved Pp to CLib. In particular, Pp does not depend on CAMLP4/5ppedrot
2001-12-19reparation du make depend et du .dependletouzey
2001-12-13compat ocaml 3.03filliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 16:33:11 +0000