aboutsummaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Collapse)Author
2003-08-04Bug 'Set Hyps Limit'herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8337 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-06-25typofilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8336 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-06-21Added the documentation on Functional Scheme (a command, I also putcourtieu
some examples in RefMan-tacex.tex) and Functional Induction (a tactic). git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8335 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-05-20Ajout 'in (Type of ...)'herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8334 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-07Diversherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8333 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-04-04MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8332 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-21MAJ Simpl et Changeherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8331 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-13Ajoute SubClassherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8330 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-13Bug de pr�c�denceherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8329 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-13Pr�sentationherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8328 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-06MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8327 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-06MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8326 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-27Ajout de la reference sur la doc Reals.psdesmettr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8325 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-13Backtrack faqherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8324 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-13MAJ Remark/Factherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8323 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-06Bugherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8322 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-06MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8321 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-04Correction bug {desmettr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8320 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-04Release 7.4desmettr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8319 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-03version 7.4filliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8318 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-01-31MAJ doc modulescoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8317 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-01-31Ajout Streicher (axiom K)herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8316 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-01-31MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8315 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-01-30Ajout {A New Paradox in Type Theory}herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8314 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-01-29MAJ pour Realsdesmettr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8313 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-01-23maj du fichier treesort.ml inclus dans le chapitre extractionletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8312 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-01-23maj extraction V7.4letouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8311 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-01-22Changement s�mantique Match termherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8310 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-01-20Utilisation de 'Recursive' pour les tactiques r�cursivesherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8309 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-01-19MAJ V7.4herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8308 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-01-19Nettoyageherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8307 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-01-19typoherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8306 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-01-19MAJ Ltacherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8305 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-01-06doc SearchAboutfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8304 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-12-18Definition -> Parameter dans module typescoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8303 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-12-14FAQherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8302 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-12-12Stupid mistakecoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8301 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-12-02`\"' redevenu �chappement pour `"'herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8300 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-12-02typosletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8299 85f007b7-540e-0410-9357-904b9bb8a0f7
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-13 07:51:55 +0000