aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/cooking.mli
Commit message (Expand)AuthorAge
* Lazy manuelles dans le codeGravatar coq2002-10-07
* Lazy experimentale temporaire...Gravatar coq2002-10-05
* Suppression des arguments sur les constantes, inductifs et constructeursGravatar barras2001-10-09
* repare la perte d'opacite a la fermeture de sectionGravatar barras2001-09-21
* Mécanisme pour faire remonter les contraintes de typage sur les variables de...Gravatar herbelin2001-09-09
* ParsingGravatar herbelin2001-08-10
* entetesGravatar filliatr2001-03-15
* Tables séparées pour chaque type de globalGravatar herbelin2000-11-20
* nouveau discharge fait par le noyau; plus de recettes dans les corps des cons...Gravatar filliatr2000-11-06