aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2002-07-19Quelques ameliorations...desmettr
2002-07-18*** empty log message ***desmettr
2002-07-18Correction d'un bug dans IsCont_ptdesmettr
2002-07-18MAJ pour Sqrt_regdesmettr
2002-07-18Preuves de la continuite/derivabilite de sqrt sur R+/R+*desmettr
2002-07-18*** empty log message ***desmettr
2002-07-17reparation temporaire(?) a coup de MLdummy'letouzey
2002-07-17tactique Substfilliatr
2002-07-17Nettoyage de code pour la règle [id:(?1-> ?2)-> ?3|- ?]corbinea
2002-07-17ajout de make otags utilisant otags plutot que etagsletouzey
2002-07-17modification de make tags pourletouzey
2002-07-16majletouzey
2002-07-16Pour ocamlwebletouzey
2002-07-16Souci avec example fbidon...letouzey
2002-07-16petit bug lors du passage d'hugoletouzey
2002-07-16Gros Remaniement Extraction:letouzey
2002-07-16un cas inutile dans un pattern matchingletouzey
2002-07-16*** empty log message ***desmettr
2002-07-16*** empty log message ***desmettr
2002-07-16Bug dans la globalisation des arguments de tactiques primitivesherbelin
2002-07-16MAJ Makefile pour Realsdesmettr
2002-07-16MAJ Rtrigo pour sqrtdesmettr
2002-07-16*** empty log message ***desmettr
2002-07-16R_sqr ne contient plus de resultats sur sqrt -> R_sqrtdesmettr
2002-07-16MAJ Realsdesmettr
2002-07-16MAJ Rgeomdesmettr
2002-07-16Proprietes (calculatoires) des fonctions trigonometriquesdesmettr
2002-07-16Proprietes de la racine carreedesmettr
2002-07-16Definition de la racine carreedesmettr
2002-07-15code retour de make checkcourant
2002-07-15Pb de factorisation camlp4herbelin
2002-07-15Pour assurer une compatibilite avec la 7.3herbelin
2002-07-15Bug de précédenceherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-19 01:51:30 +0000