aboutsummaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Expand)Author
2003-11-20MAJherbelin
2003-11-19MAJ V8herbelin
2003-11-15Ajout paradoxe Chicliherbelin
2003-11-12En fait les Import des Require sont de nouveau utilesletouzey
2003-11-12*** empty log message ***letouzey
2003-11-12maj et passage v8 du chapitre sur l'extractionletouzey
2003-11-08Petite tentative d'eclaircissementherbelin
2003-11-08Relecture, compl�tion Notation, plan pour les scopesherbelin
2003-11-08Ajout section sur TACTIC EXTENDherbelin
2003-10-30Added a tactic entry for Jprover + commented out inputenc in the main filecorbinea
2003-10-27MAJ Double Inductive vis a vis de la V7.4herbelin
2003-10-10Programme de relecture du manuelmohring
2003-09-26*** empty log message ***filliatr
2003-09-26passage V8filliatr
2003-09-26passage V8filliatr
2003-09-25passage V8filliatr
2003-09-25passage V8filliatr
2003-09-25passage V8filliatr
2003-08-04Orthographe, orthodoxieherbelin
2003-08-04Bug 'Set Hyps Limit'herbelin
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 23:00:19 +0000