aboutsummaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Expand)Author
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
2001-09-21Diverses MAJ V7.1 autour des qualidherbelin
2001-09-19Changement de syntaxe Extract Constant / Extract Inlined Constantletouzey
2001-09-18Ajout de la page de gardedesmettr
2001-09-17Documentation de Show Intro(s)letouzey
2001-09-14Documentation NewInduction, NewDestruct, LetTac, Assertherbelin
2001-09-14MAJ Fact/Remarkherbelin
2001-09-14Orthographeherbelin
2001-06-12Ajout de la doc pour la tactique Setoid_replace.clrenard
2001-04-26Amelioration de la creation de la doc Librarycoq
2001-04-25*** empty log message ***barras
2001-04-25correction des erreurs dans les exemplesbarras
2001-04-25remarques concernant l'extractionfilliatr
2001-04-25section sur l'extraction (provisoirement) comment�efilliatr
2001-04-25Ajout de \begin{coq_eval} Reset Initial. \end{coq_eval} pour remettre lescourant
2001-04-25Pending ref's correctedcoq
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-03 09:19:35 +0000