aboutsummaryrefslogtreecommitdiff
path: root/lib/pp_control.mli
AgeCommit message (Expand)Author
2016-01-20Update copyright headers.Maxime Dénès
2015-01-12Update headers.Maxime Dénès
2012-08-08Updating headers.herbelin
2010-12-03Remove dead codeglondu
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-06-22New script dev/tools/change-header to automatically update Coq files headers.herbelin
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2010-04-29Move from ocamlweb to ocamdoc to generate mli documentationpboutill
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2008-05-10Correction bug #1842 + correction bug initialisation introduit dansherbelin
2007-01-31redirection of errors in coqide + dynamic warning printer (needed for tm_egg)corbinea
2004-07-16Nouvelle en-têteherbelin
2003-03-26Ajout de Set Print Widthgregoire
2003-02-04interface GTK2 experimentalemonate
2002-05-29Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...herbelin
2001-03-15entetesfilliatr
2000-12-12syntaxe AST Inversion + commentaires ocamlweb autour de $filliatr
1999-08-30un petit effort de presentation dans les interfacesfilliatr
1999-08-16Initial revisionfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 20:42:37 +0000