aboutsummaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Collapse)Author
2002-08-13Ajout de remarques diverses sur les commandes vernaculairesherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8287 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-06-17Local Coercion -> Coercion Local (dans l'index)filliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8286 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-06-14*** empty log message ***herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8285 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-05-22Library est maintenant engendr� par coqdocherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8284 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-05-22MAJ V7.3herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8283 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-05-22MAJ V7.3herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8282 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-05-17Evitons de dire que Haskell est un dialect MLletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8281 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-05-16MAJ V7.3herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8280 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-05-14*** empty log message ***mohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8279 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-04-15mention de coq-inferior.elfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8278 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-04-12doc Intuition et Tautocourant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8277 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-04-11Ajout Rename et Poseherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8276 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-04-11paragraphe obsolete sur l'extractionletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8275 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-04-11maj + examples plus p�dagogiquesletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8274 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-03-01Quelques pr�cisions sur la convertibilit� et les tactiques Cbv/Lazyherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8273 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-18correctifsletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8272 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-18typoletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8271 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-17actualisation pour la V7.2 de la documentation de l'extractionletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8270 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-14Typoherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8269 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-14*** empty log message ***mohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8268 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-14Integration des credits V7.2mohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8267 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-10MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8266 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-09MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8265 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-23Avertissement de la non- gravit� du message d'erreur de parsing de \/ et /\herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8264 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-23MAJ 7.2herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8263 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-23MAJ 7.2herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8262 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-23Ajout Canonical Structureherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8261 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-23Ajout ClearBody et Assert H:=therbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8260 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-23MAJ V7.2herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8259 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-18problemes avec le rendu html des tabbing dans la doc de Ltacbarras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8258 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-17new command Backbarras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8257 85f007b7-540e-0410-9357-904b9bb8a0f7
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-13 09:47:14 +0000