aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* MAJGravatar herbelin2003-04-04
* MAJ Simpl et ChangeGravatar herbelin2003-03-21
* Ajoute SubClassGravatar herbelin2003-03-13
* Bug de pr�c�denceGravatar herbelin2003-03-13
* Pr�sentationGravatar herbelin2003-03-13
* MAJGravatar herbelin2003-03-06
* MAJGravatar herbelin2003-03-06
* Ajout de la reference sur la doc Reals.psGravatar desmettr2003-02-27
* Backtrack faqGravatar herbelin2003-02-13
* MAJ Remark/FactGravatar herbelin2003-02-13
* BugGravatar herbelin2003-02-06
* MAJGravatar herbelin2003-02-06
* Correction bug {Gravatar desmettr2003-02-04
* Release 7.4Gravatar desmettr2003-02-04
* version 7.4Gravatar filliatr2003-02-03
* MAJ doc modulesGravatar coq2003-01-31
* Ajout Streicher (axiom K)Gravatar herbelin2003-01-31
* MAJGravatar herbelin2003-01-31
* Ajout {A New Paradox in Type Theory}Gravatar herbelin2003-01-30
* MAJ pour RealsGravatar desmettr2003-01-29
* maj du fichier treesort.ml inclus dans le chapitre extractionGravatar letouzey2003-01-23
* maj extraction V7.4Gravatar letouzey2003-01-23
* Changement s�mantique Match termGravatar herbelin2003-01-22
* Utilisation de 'Recursive' pour les tactiques r�cursivesGravatar herbelin2003-01-20
* MAJ V7.4Gravatar herbelin2003-01-19
* NettoyageGravatar herbelin2003-01-19
* typoGravatar herbelin2003-01-19
* MAJ LtacGravatar herbelin2003-01-19
* doc SearchAboutGravatar filliatr2003-01-06
* Definition -> Parameter dans module typesGravatar coq2002-12-18
* FAQGravatar herbelin2002-12-14
* Stupid mistakeGravatar coq2002-12-12
* `\"' redevenu �chappement pour `"'Gravatar herbelin2002-12-02
* typosGravatar letouzey2002-12-02
* Documentation des notationsGravatar herbelin2002-11-28
* Doc module, premiere versionGravatar coq2002-10-05
* Le fichier CHANGES au format html - version 7.3.1Gravatar herbelin2002-10-05
* avertissement Correctness plus d�velopp�Gravatar filliatr2002-09-19
* MAJ eq_rect, False_rec, False_rectGravatar herbelin2002-09-16
* Correction typo d'un but TautoGravatar herbelin2002-09-16
* documentation variante Subst (sans argument)Gravatar filliatr2002-09-16
* SubstGravatar filliatr2002-09-12
* Correction bug Makefile docGravatar desmettr2002-09-10
* MAJ syntaxe 'Hint Rewrite'Gravatar herbelin2002-09-09
* Retour de Sorting dans la biblio standardGravatar herbelin2002-08-14
* Ajout de remarques diverses sur les commandes vernaculairesGravatar herbelin2002-08-13
* Local Coercion -> Coercion Local (dans l'index)Gravatar filliatr2002-06-17
* *** empty log message ***Gravatar herbelin2002-06-14
* Library est maintenant engendr� par coqdocGravatar herbelin2002-05-22
* MAJ V7.3Gravatar herbelin2002-05-22
generated by cgit v1.2.3 (git 2.39.1) at 2025-01-15 21:58:34 +0000