aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing/prettyp.mli
Commit message (Expand)AuthorAge
* 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