index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
/
pp.ml4
Commit message (
Expand
)
Author
Age
*
Moved Pp to CLib. In particular, Pp does not depend on CAMLP4/5
ppedrot
2012-09-10
*
Updating headers.
herbelin
2012-08-08
*
Fixing info_auto / info_trivial display.
ppedrot
2012-06-28
*
Moving logging level to Interface.
ppedrot
2012-06-23
*
Added an indirection with respect to Loc in Compat. As many [open Compat]
ppedrot
2012-06-22
*
Fixing bug #2809 (anomaly when printing a module with notations due to
herbelin
2012-06-20
*
A box to pretty-print them all.
ppedrot
2012-06-04
*
Added a color output to Coqtop.
ppedrot
2012-06-04
*
Separated notice vs info messages, and cleaned up the interface a bit.
ppedrot
2012-06-04
*
Flushing formatters before program exit.
ppedrot
2012-06-02
*
More cleaning
ppedrot
2012-06-01
*
Getting rid of Pp.msg
ppedrot
2012-05-30
*
More uniformisation in Pp.warn functions.
ppedrot
2012-05-30
*
info_trivial, info_auto, info_eauto, and debug (trivial|auto)
letouzey
2012-03-30
*
Noise for nothing
pboutill
2012-03-02
*
Bug 2636 - Move string_of_ppcmds to Pp
pboutill
2011-11-14
*
Some dead code removal, thanks to Oug analyzer
letouzey
2010-09-24
*
Updated all headers for 8.3 and trunk
herbelin
2010-07-24
*
Remove the svn-specific $Id$ annotations
letouzey
2010-04-29
*
Delete trailing whitespaces in all *.{v,ml*} files
glondu
2009-09-17
*
Added a function that escapes XML characters in ppcmds.
cek
2008-04-16
*
Plus de combinateurs sont passés de Util à Option. Le module Options
aspiwack
2007-12-06
*
Correction de quelques défauts d'affichage (notations sous "as" pour
herbelin
2007-10-05
*
Une passe sur les warnings (ajout Options.warn déclenchée par compile-verbo...
herbelin
2007-02-24
*
redirection of errors in coqide + dynamic warning printer (needed for tm_egg)
corbinea
2007-01-31
*
Merge from Lionel Elie Mamane's private branch:
lmamane
2007-01-10
*
Modification of emacs output: Pp.warning and al now output warning
courtieu
2006-04-27
*
Remplacement Pp.qs par Pptactic.qsnew
herbelin
2005-12-28
*
Nettoyage suite à la détection par défaut des variables inutilisées par o...
herbelin
2005-11-08
*
Nouvelle en-tête
herbelin
2004-07-16
*
traducteur: affiche les commentaires a l'interieur des commandes
barras
2003-09-22
*
warning vers std_err
herbelin
2003-09-10
*
*** empty log message ***
barras
2003-03-21
*
interface GTK2 experimentale
monate
2003-02-04
*
reparation du make depend et du .depend
letouzey
2001-12-19