aboutsummaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Collapse)Author
2001-11-15cible coq.infofilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8256 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-10-26MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8255 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-10-26MAJ, nettoyage coercionsherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8254 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-10-18Typosherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8253 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-10-17Oubli de cas pour le sous-typageherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8252 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-10-17Oubli de cas pour le sous-typageherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8251 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-10-17Corrections diversesherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8250 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-10-17MAJ hevea 1.5herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8249 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-10-17MAJ V7.1herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8248 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-10-16MAJ V7.1herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8247 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-10-16MAJ V7.1herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8246 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-10-15Ajout fonctionnalit� Intros Until de Injection, Discriminate et Simplify_eqherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8245 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-10-09Adding documentation for a variant of Inversion, where a numeric argument,bertot
referring to the nth non-dependent product in the goal's conclusion, can be given instead of an hypothesis name. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8244 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-10-02Bug FTPDOCSherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8243 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-10-02MAJ V7.1herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8242 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-10-02Orthographeherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8241 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-10-02MAJ diversesherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8240 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-10-02MAJ Intro + diversherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8239 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-27MAJ V7.1herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8238 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-27Suppression Changesherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8237 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-27MAJ V7.1herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8236 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-27checkherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8235 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-27\} manquantherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8234 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-26Bugherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8233 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-26Diversherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8232 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-26MAJ V7.1herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8231 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-25MAJ V7.1herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8230 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-25MAJ Opaque/Transparent, Qed/Definedherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8229 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-25Pr�c�dent Changes.texherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8228 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-25Orthographeherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8227 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-24Mise en place avertissements pour rep�rer les erreurs volontaires de coq-texherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8226 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-24MAJs Remark/Factherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8225 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-24Updatesherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8224 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-24Updatesherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8223 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-23Update de la doc pour les setoides.clrenard
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8222 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-21Diverses MAJ V7.1 autour des qualidherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8221 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-19Changement de syntaxe Extract Constant / Extract Inlined Constantletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8220 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-18Ajout de la page de gardedesmettr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8219 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-17Documentation de Show Intro(s)letouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8218 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-14Documentation NewInduction, NewDestruct, LetTac, Assertherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8217 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-14MAJ Fact/Remarkherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8216 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-14Orthographeherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8215 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-06-12Ajout de la doc pour la tactique Setoid_replace.clrenard
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8214 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-26Amelioration de la creation de la doc Librarycoq
(on re-coqweb et re-latex seulement si besoin) Quelques modification pour HeVeA 1.05 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8213 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-25*** empty log message ***barras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8212 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-25correction des erreurs dans les exemplesbarras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8211 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-25remarques concernant l'extractionfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8210 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-25section sur l'extraction (provisoirement) comment�efilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8209 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-25Ajout de \begin{coq_eval} Reset Initial. \end{coq_eval} pour remettre lescourant
grammaires de Coq dans un etat coherent. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8208 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-25Pending ref's correctedcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8207 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 00:37:54 +0000