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