aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing/printmod.ml
Commit message (Expand)AuthorAge
* Report des commits 11417 et 11437 de la v8.2Gravatar soubiran2008-10-15
* Report 11364 de 8.2 vers trunk (bugs affichage Print Module)Gravatar herbelin2008-09-05
* Ajout des alias de module dans le noyau.Gravatar soubiran2008-03-14
* Beaoucoup de changements dans la representation interne des modules.Gravatar soubiran2008-02-01
* Nouvelle en-tĂȘteGravatar herbelin2004-07-16
* Petite correction d'affichage de modulesGravatar coq2003-05-08
* Correction bug PR#278Gravatar coq2003-04-14
* Pour satisfaire ProofGeneralGravatar coq2003-01-31
* La notation with dependante + affichage dependante de moduels corrigeGravatar coq2002-09-20
* Pretty-printing preliminaire des modules, commandesGravatar coq2002-08-19