aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/pp.mli
Commit message (Expand)AuthorAge
* 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
* traducteur: affiche les commentaires a l'interieur des commandesGravatar barras2003-09-22
* compat ocaml 3.03Gravatar filliatr2001-12-13
* entetesGravatar filliatr2001-03-15
* syntaxe AST Inversion + commentaires ocamlweb autour de $Gravatar filliatr2000-12-12
* module WcclausenvGravatar filliatr1999-11-22
* un petit effort de presentation dans les interfacesGravatar filliatr1999-08-30
* mise en place programmation literaire (generation de doc/coq.tex)Gravatar filliatr1999-08-19
* Initial revisionGravatar filliatr1999-08-16