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