aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing/printmod.ml
Commit message (Expand)AuthorAge
* Restore display of notation when printing an inductive such as sigGravatar letouzey2011-05-21
* Print Module (Type) M now tries to print more detailsGravatar letouzey2011-05-11
* Lazy loading of opaque proofs: fast as -dont-load-proofs without its drawbacksGravatar letouzey2011-04-03
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* A bit of cleaning around name generation + creation of dedicated file namegen.mlGravatar herbelin2009-11-09
* This big commit addresses two problems:Gravatar soubiran2009-10-21
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* - Cleaning phase of the interfaces of libnames.ml and nametab.mlGravatar herbelin2009-08-06
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-30 05:35:28 +0000