aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2003-06-25typofilliatr
2003-06-21Added the documentation on Functional Scheme (a command, I also putcourtieu
2003-05-20Ajout 'in (Type of ...)'herbelin
2003-04-07Diversherbelin
2003-04-04MAJherbelin
2003-03-21MAJ Simpl et Changeherbelin
2003-03-13Ajoute SubClassherbelin
2003-03-13Bug de pr�c�denceherbelin
2003-03-13Pr�sentationherbelin
2003-03-06MAJherbelin
2003-03-06MAJherbelin
2003-02-27Ajout de la reference sur la doc Reals.psdesmettr
2003-02-13Backtrack faqherbelin
2003-02-13MAJ Remark/Factherbelin
2003-02-06Bugherbelin
2003-02-06MAJherbelin
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-13 17:05:28 +0000