aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/modops.ml
Commit message (Expand)AuthorAge
...
* - fixed the Assert_failure error in kernel/modopsGravatar barras2004-02-18
* Correction bug 328Gravatar coq2003-09-23
* Bug 'with Module' corrigeGravatar coq2003-01-22
* Contexte locale non-vide interdit a la fin d'un module ou module typeGravatar coq2002-12-18
* Corrections de gestion des univers et modules + meilleure gestions des noms...Gravatar coq2002-12-09
* Réforme de l'interprétation des termes :Gravatar herbelin2002-11-14
* Lazy manuelles dans le codeGravatar coq2002-10-07
* Lazy experimentale temporaire...Gravatar coq2002-10-05
* La notation 'with'. L'interpretation - version preliminaireGravatar coq2002-08-19
* Strengthenning rules for modules + No modules in sectionsGravatar coq2002-08-16
* Modules dans COQ\!\!\!\!Gravatar coq2002-08-02