aboutsummaryrefslogtreecommitdiff
path: root/lib/pp.mli
AgeCommit message (Expand)Author
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-06-29A new infrastructure for warnings.Maxime Dénès
2016-06-02Add documentation to the low-level `Pp` functions.Emilio Jesus Gallego Arias
2016-05-31Feedback cleanupEmilio Jesus Gallego Arias
2016-05-09Merge branch 'v8.5'Pierre-Marie Pédrot
2016-05-04typoEnrico Tassi
2016-04-09In pr_clauses, do not print a leading space by default so that it canHugo Herbelin
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-09-20Rich printing of messages.Pierre-Marie Pédrot
2015-05-04Add a [Redirect] vernacular commandClément Pit--Claudel
2015-04-23Removing dead code in Pp.Pierre-Marie Pédrot
2015-01-12Update headers.Maxime Dénès
2014-12-16msg_info now puts infomsg tag in emacs mode.Pierre Courtieu
2014-12-15Changed bullet informations to warning for better display in PG.Pierre Courtieu
2014-11-27Feedback: API cleaned up, documented and made user extensibleEnrico Tassi
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-10-31Feedback message: hold extra info to help routingEnrico Tassi
2014-08-04STM: encapsulate Pp.message in Feedback.feedbackCarst Tankink
2014-07-11make the standard logging facility stm awareEnrico Tassi
2014-06-25all coqide specific files moved into ide/Enrico Tassi
2014-03-05Remove many superfluous 'open' indicated by ocamlc -w +33Pierre Letouzey
2013-08-08Coqide ported to STMgareuselesinge
2013-05-06Fixing ocamldoc compilation.ppedrot
2013-04-25Coqide: new feedback mechanism for structured contentgareuselesinge
2012-12-08Removed a unused function in Ppppedrot
2012-09-13Made Pp.std_ppcmds opaque.ppedrot
2012-08-08Updating headers.herbelin
2012-06-23Documentation of pp.mlippedrot
2012-06-23Moving logging level to Interface.ppedrot
2012-06-22Added an indirection with respect to Loc in Compat. As many [open Compat]ppedrot
2012-06-20Fixing bug #2809 (anomaly when printing a module with notations due toherbelin
2012-06-04Added a color output to Coqtop.ppedrot
2012-06-04Separated notice vs info messages, and cleaned up the interface a bit.ppedrot
2012-06-02Flushing formatters before program exit.ppedrot
2012-06-01More cleaningppedrot
2012-06-01Cleaning Pp.ppnl useppedrot
2012-06-01Getting rid of Pp.msgnl and Pp.message.ppedrot
2012-05-30Getting rid of Pp.msgppedrot
2012-05-30More uniformisation in Pp.warn functions.ppedrot
2012-03-30info_trivial, info_auto, info_eauto, and debug (trivial|auto)letouzey
2012-03-02Noise for nothingpboutill
2011-11-14Bug 2636 - Move string_of_ppcmds to Pppboutill
2010-07-24Updated all headers for 8.3 and trunkherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 08:10:53 +0000