aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/pp.mli
Commit message (Expand)AuthorAge
* Add a [Redirect] vernacular commandGravatar Clément Pit--Claudel2015-05-04
* Removing dead code in Pp.Gravatar Pierre-Marie Pédrot2015-04-23
* Update headers.Gravatar Maxime Dénès2015-01-12
* msg_info now puts infomsg tag in emacs mode.Gravatar Pierre Courtieu2014-12-16
* Changed bullet informations to warning for better display in PG.Gravatar Pierre Courtieu2014-12-15
* Feedback: API cleaned up, documented and made user extensibleGravatar Enrico Tassi2014-11-27
* 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
* Feedback message: hold extra info to help routingGravatar Enrico Tassi2014-10-31
* STM: encapsulate Pp.message in Feedback.feedbackGravatar Carst Tankink2014-08-04
* make the standard logging facility stm awareGravatar Enrico Tassi2014-07-11
* all coqide specific files moved into ide/Gravatar Enrico Tassi2014-06-25
* Remove many superfluous 'open' indicated by ocamlc -w +33Gravatar Pierre Letouzey2014-03-05
* Coqide ported to STMGravatar gareuselesinge2013-08-08
* Fixing ocamldoc compilation.Gravatar ppedrot2013-05-06
* Coqide: new feedback mechanism for structured contentGravatar gareuselesinge2013-04-25
* Removed a unused function in PpGravatar ppedrot2012-12-08
* Made Pp.std_ppcmds opaque.Gravatar ppedrot2012-09-13
* Updating headers.Gravatar herbelin2012-08-08
* Documentation of pp.mliGravatar ppedrot2012-06-23
* Moving logging level to Interface.Gravatar ppedrot2012-06-23
* Added an indirection with respect to Loc in Compat. As many [open Compat]Gravatar ppedrot2012-06-22
* Fixing bug #2809 (anomaly when printing a module with notations due toGravatar herbelin2012-06-20
* Added a color output to Coqtop.Gravatar ppedrot2012-06-04
* Separated notice vs info messages, and cleaned up the interface a bit.Gravatar ppedrot2012-06-04
* Flushing formatters before program exit.Gravatar ppedrot2012-06-02
* More cleaningGravatar ppedrot2012-06-01
* Cleaning Pp.ppnl useGravatar ppedrot2012-06-01
* Getting rid of Pp.msgnl and Pp.message.Gravatar ppedrot2012-06-01
* Getting rid of Pp.msgGravatar ppedrot2012-05-30
* More uniformisation in Pp.warn functions.Gravatar ppedrot2012-05-30
* info_trivial, info_auto, info_eauto, and debug (trivial|auto)Gravatar letouzey2012-03-30
* Noise for nothingGravatar pboutill2012-03-02
* Bug 2636 - Move string_of_ppcmds to PpGravatar pboutill2011-11-14
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* New script dev/tools/change-header to automatically update Coq files headers.Gravatar herbelin2010-06-22
* Various minor improvements of comments in mli for ocamldocGravatar letouzey2010-04-29
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Move from ocamlweb to ocamdoc to generate mli documentationGravatar pboutill2010-04-29
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Added a function that escapes XML characters in ppcmds.Gravatar cek2008-04-16
* Correction de quelques défauts d'affichage (notations sous "as" pourGravatar herbelin2007-10-05
* Une passe sur les warnings (ajout Options.warn déclenchée par compile-verbo...Gravatar herbelin2007-02-24
* redirection of errors in coqide + dynamic warning printer (needed for tm_egg)Gravatar corbinea2007-01-31
* Merge from Lionel Elie Mamane's private branch:Gravatar lmamane2007-01-10
* Modification of emacs output: Pp.warning and al now output warningGravatar courtieu2006-04-27
* Nouvelle en-têteGravatar herbelin2004-07-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 15:55:05 +0000