aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing/prettyp.mli
Commit message (Expand)AuthorAge
* Print Module (Type) M now tries to print more detailsGravatar letouzey2011-05-11
* Making display of various informations about constants more modular:Gravatar herbelin2010-10-03
* Some dead code removal, thanks to Oug analyzerGravatar letouzey2010-09-24
* 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
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Move from ocamlweb to ocamdoc to generate mli documentationGravatar pboutill2010-04-29
* Generalized the possibility to refer to a global name by a notationGravatar herbelin2009-09-11
* - New auto hints for transparency/opacity control, not bound to Gravatar msozeau2008-08-22
* Do another pass on the typeclasses code. Correct globalization of classGravatar msozeau2008-03-19
* Beaoucoup de changements dans la representation interne des modules.Gravatar soubiran2008-02-01
* Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,...Gravatar msozeau2007-12-31
* Merge from Lionel Elie Mamane's private branch:Gravatar lmamane2007-01-10
* Suite ajout option -output-contextGravatar herbelin2006-12-08
* Ajout d'une option -output-context qui affiche le contexte en CCI pur à laGravatar herbelin2006-12-08
* Renommage des Pp*new en Pp* (et déplacement dans parsing); renommage des G_*...Gravatar herbelin2005-12-26
* Renaming Print Canonical Structure into Print Canonical ProjectionsGravatar herbelin2005-02-18
* Ajout Print Canonical StructuresGravatar herbelin2005-02-12
* Nouvelle en-têteGravatar herbelin2004-07-16
* Ajout Print Implicit avec depliage du typeGravatar herbelin2003-11-15
* Inspect saute maintenant les marqueurs invisiblesGravatar herbelin2003-10-07
* Ajout 'About'Gravatar herbelin2003-09-26
* Réforme de l'interprétation des termes :Gravatar herbelin2002-11-14
* Des critères plus fins d'analyse des implicites automatiques; meilleur affic...Gravatar herbelin2002-10-28
* Modules dans COQ\!\!\!\!Gravatar coq2002-08-02
* Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...Gravatar herbelin2002-05-29
* Suites modifs du noyau. Univ devient purement fonctionnel.Gravatar barras2001-11-12
* Suppression des local_constraints, des ctxtty et du focus.Gravatar clrenard2001-11-06
* GROS COMMIT:Gravatar barras2001-11-05
* Suppression option immediate_discharge; nettoyage de Declare et conséquencesGravatar herbelin2001-10-11
* Pretty -> PrettypGravatar filliatr2001-05-28