aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2003-02-04Correction bug {desmettr
2003-02-04Release 7.4desmettr
2003-02-03version 7.4filliatr
2003-01-31MAJ doc modulescoq
2003-01-31Ajout Streicher (axiom K)herbelin
2003-01-31MAJherbelin
2003-01-30Ajout {A New Paradox in Type Theory}herbelin
2003-01-29MAJ pour Realsdesmettr
2003-01-23maj du fichier treesort.ml inclus dans le chapitre extractionletouzey
2003-01-23maj extraction V7.4letouzey
2003-01-22Changement s�mantique Match termherbelin
2003-01-20Utilisation de 'Recursive' pour les tactiques r�cursivesherbelin
2003-01-19MAJ V7.4herbelin
2003-01-19Nettoyageherbelin
2003-01-19typoherbelin
2003-01-19MAJ Ltacherbelin
2003-01-06doc SearchAboutfilliatr
2002-12-18Definition -> Parameter dans module typescoq
2002-12-14FAQherbelin
2002-12-12Stupid mistakecoq
2002-12-02`\"' redevenu �chappement pour `"'herbelin
2002-12-02typosletouzey
2002-11-28Documentation des notationsherbelin
2002-10-05Doc module, premiere versioncoq
2002-10-05Le fichier CHANGES au format html - version 7.3.1herbelin
2002-09-19avertissement Correctness plus d�velopp�filliatr
2002-09-16MAJ eq_rect, False_rec, False_rectherbelin
2002-09-16Correction typo d'un but Tautoherbelin
2002-09-16documentation variante Subst (sans argument)filliatr
2002-09-12Substfilliatr
2002-09-10Correction bug Makefile docdesmettr
2002-09-09MAJ syntaxe 'Hint Rewrite'herbelin
2002-08-14Retour de Sorting dans la biblio standardherbelin
2002-08-13Ajout de remarques diverses sur les commandes vernaculairesherbelin
2002-06-17Local Coercion -> Coercion Local (dans l'index)filliatr
2002-06-14*** empty log message ***herbelin
2002-05-22Library est maintenant engendr� par coqdocherbelin
2002-05-22MAJ V7.3herbelin
2002-05-22MAJ V7.3herbelin
2002-05-17Evitons de dire que Haskell est un dialect MLletouzey
2002-05-16MAJ V7.3herbelin
2002-05-14*** empty log message ***mohring
2002-04-15mention de coq-inferior.elfilliatr
2002-04-12doc Intuition et Tautocourant
2002-04-11Ajout Rename et Poseherbelin
2002-04-11paragraphe obsolete sur l'extractionletouzey
2002-04-11maj + examples plus p�dagogiquesletouzey
2002-03-01Quelques pr�cisions sur la convertibilit� et les tactiques Cbv/Lazyherbelin
2002-01-18correctifsletouzey
2002-01-18typoletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 22:51:25 +0000