| Age | Commit message (Expand) | Author |
|---|
| 2001-04-06 | debug maj | letouzey |
| 2001-04-06 | mise a jour V7 | filliatr |
| 2001-04-06 | mise � jour V7 | filliatr |
| 2001-04-06 | mise a jour V7 | filliatr |
| 2001-04-06 | V7 | mohring |
| 2001-04-06 | Mise a jour V7 | mohring |
| 2001-04-06 | Mise en conformite avec la V7 | mohring |
| 2001-04-05 | ajout chapitre langage de tactiques; suppression chapitre obsoletes | filliatr |
| 2001-04-03 | mise a jour V7 de la commande Extraction, et des options de coqtop et coqc | filliatr |
| 2001-01-17 | Les projets de syntaxe | herbelin |
| 2000-12-27 | Am�liorations | herbelin |
| 2000-12-26 | MAJ | herbelin |
| 2000-12-25 | Langage de tactiques, AutoRewrite, Tauto-Intuition + autres modifs | delahaye |
| 2000-12-22 | MAJ apr�s lecture par Christine; r��criture de la section 'Names' | herbelin |
| 2000-12-22 | Corrections | herbelin |
| 2000-12-21 | MAJ | herbelin |
| 2000-12-21 | Version lisible | herbelin |
| 2000-12-18 | MAJ Search | herbelin |
| 2000-12-16 | Ajout \qualid et \module | herbelin |
| 2000-12-16 | RefMan-oth.tex subit d�sormais coq-tex | herbelin |
| 2000-12-16 | Ajout SearchPattern, SearchRewrite, MAJ Search | herbelin |
| 2000-12-16 | Nouveau nom de l'ancien Changes.tex | herbelin |
| 2000-12-15 | divers | filliatr |
| 2000-12-15 | un Reset Initial dans Tutorial.tex | filliatr |
| 2000-12-15 | config avec autoconf | filliatr |
| 2000-12-12 | fichier proposition syntaxe | filliatr |
| 2000-12-12 | Initial revision | filliatr |
| 2006-03-06 | Création d'un nouveau répertoire doc | notin |
| 2006-03-06 | Deplacement du répertoire doc dans dev | notin |
| 2006-03-05 | maj | coq |
| 2006-03-05 | MAJ | herbelin |
| 2006-03-05 | Modularisation des preuves concernant la logique classique, l'indiscernabilit... | herbelin |
| 2006-03-05 | Commentaires | herbelin |
| 2006-03-05 | Exploitation du 'let rec' + présentation | herbelin |
| 2006-03-05 | New files for subtac | coq |
| 2006-03-05 | Renommage du IP classique pour éviter confusion avec IP constructif | herbelin |
| 2006-03-05 | Ajout étude IP généralisé, Gödel-Dummett, buveur | herbelin |
| 2006-03-05 | Correction bug 984 via introduction TacCall(loc,r,[]) pour signifier une réf... | herbelin |
| 2006-03-05 | Correction bug 984 via introduction TacCall(loc,r,[]) pour signifier une réf... | herbelin |
| 2006-03-05 | Ajout test relatif au bug #984 | herbelin |
| 2006-03-04 | Correction message d'erreur ltac et adoption du modèle de message de Tacinterp | herbelin |
| 2006-03-04 | maj | coq |
| 2006-03-04 | Petite simplification en passant | herbelin |
| 2006-03-04 | Titres moins envahissants pour coqdoc | herbelin |
| 2006-03-03 | maj | coq |
| 2006-03-02 | maj | coq |
| 2006-03-02 | Correction bug #1097 (dû à une typo...) | herbelin |
| 2006-03-02 | Ajout test bug 1089 | herbelin |
| 2006-03-02 | Correctif pour bug #1089 (cannot define an isevar twice) | herbelin |
| 2006-03-02 | tactic haRVey pour appeler haRVey (contrib/dp) | filliatr |
