aboutsummaryrefslogtreecommitdiff
path: root/lib/pp.mli
AgeCommit message (Expand)Author
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2008-04-16Added a function that escapes XML characters in ppcmds.cek
2007-10-05Correction de quelques défauts d'affichage (notations sous "as" pourherbelin
2007-02-24Une passe sur les warnings (ajout Options.warn déclenchée par compile-verbo...herbelin
2007-01-31redirection of errors in coqide + dynamic warning printer (needed for tm_egg)corbinea
2007-01-10Merge from Lionel Elie Mamane's private branch:lmamane
2006-04-27Modification of emacs output: Pp.warning and al now output warningcourtieu
2004-07-16Nouvelle en-têteherbelin
2003-09-22traducteur: affiche les commentaires a l'interieur des commandesbarras
2001-12-13compat ocaml 3.03filliatr
2001-03-15entetesfilliatr
2000-12-12syntaxe AST Inversion + commentaires ocamlweb autour de $filliatr
1999-11-22module Wcclausenvfilliatr
1999-08-30un petit effort de presentation dans les interfacesfilliatr
1999-08-19mise en place programmation literaire (generation de doc/coq.tex)filliatr
1999-08-16Initial revisionfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 16:15:32 +0000