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