aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2002-09-17echappements incorrects dans chainefilliatr
2002-09-16Réintroduction de l'expansion des variables de shell et de '~' dans lesherbelin
2002-09-16Un peu plus de flexibilité pour la position du '.' finalherbelin
2002-09-16Subst (tout court)filliatr
2002-09-13Ajout contribs manquantesherbelin
2002-09-11tactique Subst x1 ... xnfilliatr
2002-09-09Code mort de AutoRewriteherbelin
2002-09-03Amélioration messages d'erreur non inférence implicitesherbelin
2002-09-03pretyping/pretyping.mlherbelin
2002-08-21Correctioncoq
2002-08-19La notation 'with'. L'interpretation - version preliminairecoq
2002-08-19MAJ .dependcoq
2002-08-19Pretty-printing preliminaire des modules, commandescoq
2002-08-17Suppression automatique du corps des définitions locales opaques dansherbelin
2002-08-16correction de bugs:barras
2002-08-16Encore quelques tests sur modules...coq
2002-08-16Strengthenning rules for modules + No modules in sectionscoq
2002-08-15Test for redundant clausesherbelin
2002-08-14Test affichage optimal des coercionsherbelin
2002-08-14MAJ depend.coqcoq
2002-08-13AutoRewrite substitutive...coq
2002-08-13Renoncement à distinguer les types "constr" et "types"; nettoyageherbelin
2002-08-13Renoncement à distinguer les types "constr" et "types"; nettoyageherbelin
2002-08-13Renoncementherbelin
2002-08-13Petites corrections ici et lacoq
2002-08-13Preuves dans CC deherbelin
2002-08-02En attendant la 3.06, remplacement de +camlp4 par CAMLLIB/camlp4herbelin
2002-08-02Modules dans COQ\!\!\!\!coq
2002-07-31MAJ pour TAFdesmettr
2002-07-31Theoreme des accroissements finis generalises et corollairesdesmettr
2002-07-31*** empty log message ***desmettr
2002-07-31MAJ pour Exp_propdesmettr
2002-07-31Proprietes de l'exponentielledesmettr
2002-07-31*** empty log message ***desmettr
2002-07-30Réparation d'un bug qui considérait les composantes d'un QUALIDherbelin
2002-07-30Branchement de Assert, Pose et LetTac sur l'algo de création de nomsherbelin
2002-07-29MAJ pour Rtrigo_regdesmettr
2002-07-29Regularite de sin et cosdesmettr
2002-07-29Continuite des series de fonctions NCdesmettr
2002-07-29*** empty log message ***desmettr
2002-07-24Ajout d'un point d'entree pour exporter les arbres de preuves en XMLherbelin
2002-07-24reparation d'un bug (dummy_lams -> anonym_lams) + chgmt structutr d'un ml_typeletouzey
2002-07-24suppression des ./ dans les noms des librairiesbarras
2002-07-23MAJ commentairesherbelin
2002-07-22*** empty log message ***desmettr
2002-07-22Quelques ameliorations dans Regdesmettr
2002-07-19Nvll preuves R_dist_tri et tech_limitmayero
2002-07-19correction bugs Tautocourant
2002-07-19Regularites de pow et des sommes finies / MAJ Regdesmettr
2002-07-19Resultats de regularite de Rabsolu / MAJ de Regdesmettr
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-27 19:46:58 +0000