aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2002-11-28Documentation des notationsherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8298 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-10-05Doc module, premiere versioncoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8297 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-10-05Le fichier CHANGES au format html - version 7.3.1herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8296 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-09-19avertissement Correctness plus d�velopp�filliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8295 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-09-16MAJ eq_rect, False_rec, False_rectherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8294 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-09-16Correction typo d'un but Tautoherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8293 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-09-16documentation variante Subst (sans argument)filliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8292 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-09-12Substfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8291 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-09-10Correction bug Makefile docdesmettr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8290 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-09-09MAJ syntaxe 'Hint Rewrite'herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8289 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-08-14Retour de Sorting dans la biblio standardherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8288 85f007b7-540e-0410-9357-904b9bb8a0f7
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 10:24:28 +0000