aboutsummaryrefslogtreecommitdiffhomepage
path: root/library/declaremods.ml
Commit message (Expand)AuthorAge
* meilleure presentation des commentaires du traducteurGravatar barras2004-01-02
* Correction du bug 335 et Export/Require Export dans un moduleGravatar coq2003-10-07
* Corrige Bug (PR#290)Gravatar coq2003-05-05
* Deux p\'tits trucs ;)Gravatar coq2003-01-27
* Bug 'with Module' corrigeGravatar coq2003-01-22
* Export M + Module M <: SIGGravatar coq2003-01-09
* Petit netoyage dans libGravatar coq2002-12-19
* Petit netoyage des open's et commentairesGravatar coq2002-12-16
* Corrections de gestion des univers et modules + meilleure gestions des noms...Gravatar coq2002-12-09
* Correction d'un message d'erreur de l'application de non-foncteurGravatar coq2002-12-04
* Correction bug PR#222Gravatar coq2002-11-08
* Encore quelques rangements dans Nametab + petits trucsGravatar coq2002-09-27
* La notation with dependante + affichage dependante de moduels corrigeGravatar coq2002-09-20
* La notation 'with'. L'interpretation - version preliminaireGravatar coq2002-08-19
* Strengthenning rules for modules + No modules in sectionsGravatar coq2002-08-16
* Petites corrections ici et laGravatar coq2002-08-13
* Modules dans COQ\!\!\!\!Gravatar coq2002-08-02
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 10:22:00 +0000