aboutsummaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Collapse)Author
2003-11-23Ajout/renommageherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8363 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-11-23Relectureherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8362 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-11-23Suppression commandes de syntaxe; ajout Aboutherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8361 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-11-23Referenceherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8360 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-11-21Ajout entreesherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8359 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-11-21Phase de relectureherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8358 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-11-21Relecture premiere partieherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8357 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-11-20MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8356 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-11-19MAJ V8herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8355 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-11-15Ajout paradoxe Chicliherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8354 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-11-12En fait les Import des Require sont de nouveau utilesletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8353 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-11-12*** empty log message ***letouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8352 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-11-12maj et passage v8 du chapitre sur l'extractionletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8351 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-11-08Petite tentative d'eclaircissementherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8350 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-11-08Relecture, compl�tion Notation, plan pour les scopesherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8349 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-11-08Ajout section sur TACTIC EXTENDherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8348 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-10-30Added a tactic entry for Jprover + commented out inputenc in the main filecorbinea
(no use having both fontenc and inputenc) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8347 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-10-27MAJ Double Inductive vis a vis de la V7.4herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8346 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-10-10Programme de relecture du manuelmohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8345 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-09-26*** empty log message ***filliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8344 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-09-26passage V8filliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8343 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-09-26passage V8filliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8342 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-09-25passage V8filliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8341 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-09-25passage V8filliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8340 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-09-25passage V8filliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8339 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-08-04Orthographe, orthodoxieherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8338 85f007b7-540e-0410-9357-904b9bb8a0f7
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-22 06:21:25 +0000