aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2002-01-18typoletouzey
2002-01-17actualisation pour la V7.2 de la documentation de l'extractionletouzey
2002-01-14Typoherbelin
2002-01-14*** empty log message ***mohring
2002-01-14Integration des credits V7.2mohring
2002-01-10MAJherbelin
2002-01-09MAJherbelin
2001-12-23Avertissement de la non- gravit� du message d'erreur de parsing de \/ et /\herbelin
2001-12-23MAJ 7.2herbelin
2001-12-23MAJ 7.2herbelin
2001-12-23Ajout Canonical Structureherbelin
2001-12-23Ajout ClearBody et Assert H:=therbelin
2001-12-23MAJ V7.2herbelin
2001-12-18problemes avec le rendu html des tabbing dans la doc de Ltacbarras
2001-12-17new command Backbarras
2001-11-15cible coq.infofilliatr
2001-10-26MAJherbelin
2001-10-26MAJ, nettoyage coercionsherbelin
2001-10-18Typosherbelin
2001-10-17Oubli de cas pour le sous-typageherbelin
2001-10-17Oubli de cas pour le sous-typageherbelin
2001-10-17Corrections diversesherbelin
2001-10-17MAJ hevea 1.5herbelin
2001-10-17MAJ V7.1herbelin
2001-10-16MAJ V7.1herbelin
2001-10-16MAJ V7.1herbelin
2001-10-15Ajout fonctionnalit� Intros Until de Injection, Discriminate et Simplify_eqherbelin
2001-10-09Adding documentation for a variant of Inversion, where a numeric argument,bertot
2001-10-02Bug FTPDOCSherbelin
2001-10-02MAJ V7.1herbelin
2001-10-02Orthographeherbelin
2001-10-02MAJ diversesherbelin
2001-10-02MAJ Intro + diversherbelin
2001-09-27MAJ V7.1herbelin
2001-09-27Suppression Changesherbelin
2001-09-27MAJ V7.1herbelin
2001-09-27checkherbelin
2001-09-27\} manquantherbelin
2001-09-26Bugherbelin
2001-09-26Diversherbelin
2001-09-26MAJ V7.1herbelin
2001-09-25MAJ V7.1herbelin
2001-09-25MAJ Opaque/Transparent, Qed/Definedherbelin
2001-09-25Pr�c�dent Changes.texherbelin
2001-09-25Orthographeherbelin
2001-09-24Mise en place avertissements pour rep�rer les erreurs volontaires de coq-texherbelin
2001-09-24MAJs Remark/Factherbelin
2001-09-24Updatesherbelin
2001-09-24Updatesherbelin
2001-09-23Update de la doc pour les setoides.clrenard
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-20 18:01:14 +0000