aboutsummaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Expand)Author
2001-04-25Mise-a-jour de la bibliodelahaye
2001-04-25Mise a jourmohring
2001-04-25Ajout de IntMapmohring
2001-04-25MAJ V7herbelin
2001-04-25Mise a jour V7mohring
2001-04-24Fourier, Reals,...mayero
2001-04-24Ajout de la partie extraction, passage du spellermohring
2001-04-24Fourier,...mayero
2001-04-23Ajout de Fielddelahaye
2001-04-23Ajout d'une ref pour Fielddelahaye
2001-04-23Ajout de Fielddelahaye
2001-04-23Added the option -exec xxdate.exe to hevea for the current date while produci...coq
2001-04-19Changement de Zarith en ZArithmohring
2001-04-19Ajoute Library.html a all-htmlmohring
2001-04-19Changement de Zarith en ZArithmohring
2001-04-19abandon de autonconf au profit de variables d'environnementfilliatr
2001-04-19Mise a jour credits V7mohring
2001-04-12Intros Pattern wildcardmohring
2001-04-11documentation automatique de la biblio standardfilliatr
2001-04-10mise � jour options extractionfilliatr
2001-04-10Suppression des references a Match/Casemohring
2001-04-10cicmohring
2001-04-10typoherbelin
2001-04-10MAJ Record; let inherbelin
2001-04-10MAJ decomposeherbelin
2001-04-09MAJ des 'Save (thm_tok)? id' and coherbelin
2001-04-09mise a jour pour la formationbarras-local
2001-04-09mise a jour des exemples Coqbarras-local
2001-04-09Mise a jour V7courant
2001-04-09\usepackage{url}filliatr
2001-04-09Ajout syntaxe et regles let-inherbelin
2001-04-09mise � jourfilliatr
2001-04-09mise � jour V7; biblio Correctnessfilliatr
2001-04-09Mise a jour du chapitre librarymohring
2001-04-08Revision Tauto, AutoRewrite + Ajout de Ltacdelahaye
2001-04-06mise a jour V7filliatr
2001-04-06debug majletouzey
2001-04-06mise a jour V7filliatr
2001-04-06mise � jour V7filliatr
2001-04-06mise a jour V7filliatr
2001-04-06V7mohring
2001-04-06Mise a jour V7mohring
2001-04-06Mise en conformite avec la V7mohring
2001-04-05ajout chapitre langage de tactiques; suppression chapitre obsoletesfilliatr
2001-04-03mise a jour V7 de la commande Extraction, et des options de coqtop et coqcfilliatr
2001-01-17Les projets de syntaxeherbelin
2000-12-27Am�liorationsherbelin
2000-12-26MAJherbelin
2000-12-25Langage de tactiques, AutoRewrite, Tauto-Intuition + autres modifsdelahaye
2000-12-22MAJ apr�s lecture par Christine; r��criture de la section 'Names'herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-03 12:41:06 +0000