aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2002-07-15Correction bug Tauto : la regle pour (A->B)->C echouait quand C etaitcourant
2002-07-12Preuve de cos_plusdesmettr
2002-07-12Quelques resultats supplementaires sur les suites convergentesdesmettr
2002-07-12Le theoreme central sur les produits de Cauchy finisdesmettr
2002-07-12Differents resultats sur les produits finisdesmettr
2002-07-12*** empty log message ***desmettr
2002-07-12cos_plus prouvedesmettr
2002-07-11Hack pour parser '{x:T|P}*B' sans parenthesesherbelin
2002-07-11Protection contre l'encapsulage de FailError dans Exc_located (sinon, par exe...herbelin
2002-07-11Error_in_file redondant et inappropriéherbelin
2002-07-11Que la localisation des erreurs pour les tactiques atomiques marcheherbelin
2002-07-11Généralisation des syntaxes ': T := t', ':= t : T', ': T', ':= t' pourherbelin
2002-07-09Making the sumbool functions transparent, so that they can used tobertot
2002-07-05certains lemmes sont maintenant dans Rtrigodesmettr
2002-07-05sin_plus prouve (a partir de cos_plus)desmettr
2002-07-05sin_bound et cos_bound deplaces dans Rtrigo_altdesmettr
2002-07-05sin_bound et cos_bound sont prouves (merci les series alternees...)desmettr
2002-07-05*** empty log message ***desmettr
2002-07-05*** empty log message ***corbinea
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 13:58:17 +0000