| Age | Commit message (Expand) | Author |
|---|
| 2002-03-04 | Big commit extraction: | letouzey |
| 2002-02-20 | Changé le nom du module Errors (errors.mli, errors.ml) en Cerrors parce | ddr |
| 2002-02-14 | - Reforme de la gestion des args recursifs (via arbres reguliers) | barras |
| 2002-02-11 | substitution et pattern modulo let | barras |
| 2002-01-31 | changement generation de schema d'elimination, False_rec est primitif, Constr... | mohring |
| 2002-01-17 | MAJ | herbelin |
| 2001-12-19 | contrib/interface/dad.ml4 had no real need of streams, it should have been | bertot |
| 2001-12-19 | reparation du make depend et du .depend | letouzey |
| 2001-12-19 | MAJ | herbelin |
| 2001-12-19 | reparation de make doc (ocamlweb & _) | letouzey |
| 2001-12-18 | Add dependencies for two new files in contrib/interface | bertot |
| 2001-11-29 | Mise a jour des dependances | clrenard |
| 2001-11-29 | mise a jour | filliatr |
| 2001-11-29 | nouvel algo de conversion plus uniforme | barras |
| 2001-11-27 | mise a jour | filliatr |
| 2001-11-21 | remise au gout du jour du repertoire theories/Sorting de la V6.3 | letouzey |
| 2001-11-19 | Diverses petites simplications de la machine de preuves. | clrenard |
| 2001-11-15 | Ajout d'un fichier Max dans Arith, et enrichissement du Min. | letouzey |
| 2001-11-12 | Suppression des stamps et donc des *_constraints | clrenard |
| 2001-11-12 | Suites modifs du noyau. Univ devient purement fonctionnel. | barras |
| 2001-11-05 | GROS COMMIT: | barras |
| 2001-10-26 | Fin de mise en place de l'option Optimize. Reorganisation du pretty-print. ET... | letouzey |
| 2001-10-22 | chambardement important des fichiers auxiliaires. Nouvelle syntaxe pour les o... | letouzey |
| 2001-10-09 | Suppression des arguments sur les constantes, inductifs et constructeurs | barras |
| 2001-10-02 | Ajout de dynamiques pour les quotations constr et tactic | delahaye |
| 2001-09-20 | Transparent | barras |
| 2001-09-19 | Deplacement des setoides. | clrenard |
| 2001-09-18 | Modification de l'emplacement des fichiers pour les setoides. | clrenard |
| 2001-09-18 | Romega/names/Makefile | mohring |
| 2001-08-10 | Parsing | herbelin |
| 2001-08-10 | Repository : pauillac.inria.fr:/net/pauillac/constr/ARCHIVE | herbelin |
| 2001-07-10 | Changement de place et de nom de la tactique Setoid_rewrite. | clrenard |
| 2001-06-26 | Mise a jour des .depend | clrenard |
| 2001-06-25 | Les réduction dans les hypothèses s'appliquent maintenant au corps de la dÃ... | herbelin |
| 2001-06-25 | Découpage de g_tactic.ml4 en 2 (pour satisfaire les contraintes de la compil... | herbelin |
| 2001-06-19 | Extension des parametres de Clear | delahaye |
| 2001-06-12 | Ajout des entrees puor Setoid_replace. | clrenard |
| 2001-05-28 | Pretty -> Prettyp | filliatr |
| 2001-05-14 | mise en place extraction haskell | filliatr |
| 2001-04-24 | Ajout de Rseries et Rtrigo_fun | mayero |
| 2001-04-20 | Ajout Fourier, DiscrR, ... | mayero |
| 2001-04-19 | remplace Zarith par ZArith | mohring |
| 2001-04-19 | *** empty log message *** | courant |
| 2001-04-19 | Ajout de Field | delahaye |
| 2001-04-18 | Adding files for the production of textual explanations as used in pcoq. | bertot |
| 2001-04-10 | Modified searchPattern. Before this correction, constructors were overlooked, | bertot |
| 2001-04-10 | réparation Correctness; options Extraction (changement de syntaxe) | filliatr |
| 2001-04-08 | Ajout lemmes arithmetiques | mohring |
| 2001-04-05 | mise en place de Correctness; vieille syntaxe Extraction viree de g_vernac.ml4 | filliatr |
| 2001-04-04 | renommage du module Pcoq.Vernac en Pcoq.Vernac_ pour contourner un bug d'ocam... | filliatr |
