aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2000-12-22Création...herbelin
2000-12-22MAJherbelin
2000-12-22Traduction en francais de 'CHANGES' dont le contenu était en françaisherbelin
2000-12-21Re-MAJherbelin
2000-12-21MAJherbelin
2000-12-21Bug d'affichage à cause des << ... >>herbelin
2000-12-21Qualification des inductifs dans Print indherbelin
2000-12-20MAJherbelin
2000-12-20MAJherbelin
2000-12-20Toujours Inductionherbelin
2000-12-20espacementsherbelin
2000-12-20Bug prédicat old Case/Matchherbelin
2000-12-20Suppression warning variable de filtrage en majusculeherbelin
2000-12-20Code mortherbelin
2000-12-20MAJherbelin
2000-12-20Test pour empêcher 2 sections de même nomsherbelin
2000-12-20Oublié de supprimer du code mortherbelin
2000-12-20Bug mauvais environnement dans le test d'eta-conversionherbelin
2000-12-20Rétablissement de l'ancien comportement de Simpl sauf dans le cas mutuel ind...herbelin
2000-12-20Toujours Inductionherbelin
2000-12-20ajout ident_or_constrarg pour NewInductionherbelin
2000-12-20Induction/NewInductionherbelin
2000-12-20Bug dans l'utilisation de l'option debugherbelin
2000-12-20Import module force l'ouverture du module même s'il était déjà ouvert afi...herbelin
2000-12-20Bug norm_evar_pf; remplacement par l'insertion d'un noeud local_constraints q...herbelin
2000-12-20Ajout set_lcherbelin
2000-12-20Scripts de correction d'uriherbelin
2000-12-20MAJherbelin
2000-12-20Non verbose par défautherbelin
2000-12-19Correction pour les variables abstraites dans les Tactic Definitionsdelahaye
2000-12-19DEMOS passe et MUTUAL-EXCLUSION aussi modulo Realizerdelahaye
2000-12-19correction de bugs sur commit précédentherbelin
2000-12-19Découpage des différentes fonctionnalités de build_mutual et definition_st...herbelin
2000-12-19Export fonction testant si un inductive est un recordherbelin
2000-12-19Amélioration affichage Print ALlherbelin
2000-12-19Pédagogieherbelin
2000-12-19Correction associativite de Repeat/Orelsedelahaye
2000-12-19AutoRewrite n'ecrit plus de valeurs fonctionnelles sur disquedelahaye
2000-12-18Bugs connus et non résolusherbelin
2000-12-18MAJherbelin
2000-12-18Renommages autour de NewInductionherbelin
2000-12-18Code mortherbelin
2000-12-18Documentationherbelin
2000-12-18Suppression de l'affichage des instances des ?nherbelin
2000-12-18MAJherbelin
2000-12-18Amélioration message d'erreur mauvais prédicatherbelin
2000-12-18Export de it_mkProd_or_LetIn_name et it_mkLambda_or_LetIn_nameherbelin
2000-12-18Debut de nettoyage de Simplmohring
2000-12-18Mise a jourmohring
2000-12-18Mise a jourmohring
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-27 13:51:57 +0000