aboutsummaryrefslogtreecommitdiff
path: root/.depend
AgeCommit message (Expand)Author
2002-07-15Correction bug Tauto : la regle pour (A->B)->C echouait quand C etaitcourant
2002-06-20majfilliatr
2002-06-07extraction vers schemeletouzey
2002-06-05affaiblissement hyp de Zmult_reg_leftfilliatr
2002-05-29Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...herbelin
2002-04-19jLogic disparaîtherbelin
2002-04-17*** empty log message ***courant
2002-04-10backtrack dans l'algo d'unificationbarras
2002-03-22An intuitionistic first-order theorem prover -- JProver.huang
2002-03-12Makefilecourant
2002-03-04Big commit extraction:letouzey
2002-02-20Changé le nom du module Errors (errors.mli, errors.ml) en Cerrors parceddr
2002-02-14- Reforme de la gestion des args recursifs (via arbres reguliers)barras
2002-02-11substitution et pattern modulo letbarras
2002-01-31changement generation de schema d'elimination, False_rec est primitif, Constr...mohring
2002-01-17MAJherbelin
2001-12-19contrib/interface/dad.ml4 had no real need of streams, it should have beenbertot
2001-12-19reparation du make depend et du .dependletouzey
2001-12-19MAJherbelin
2001-12-19reparation de make doc (ocamlweb & _)letouzey
2001-12-18Add dependencies for two new files in contrib/interfacebertot
2001-11-29Mise a jour des dependancesclrenard
2001-11-29mise a jourfilliatr
2001-11-29nouvel algo de conversion plus uniformebarras
2001-11-27mise a jourfilliatr
2001-11-21remise au gout du jour du repertoire theories/Sorting de la V6.3letouzey
2001-11-19Diverses petites simplications de la machine de preuves.clrenard
2001-11-15Ajout d'un fichier Max dans Arith, et enrichissement du Min.letouzey
2001-11-12Suppression des stamps et donc des *_constraintsclrenard
2001-11-12Suites modifs du noyau. Univ devient purement fonctionnel.barras
2001-11-05GROS COMMIT:barras
2001-10-26Fin de mise en place de l'option Optimize. Reorganisation du pretty-print. ET...letouzey
2001-10-22chambardement important des fichiers auxiliaires. Nouvelle syntaxe pour les o...letouzey
2001-10-09Suppression des arguments sur les constantes, inductifs et constructeursbarras
2001-10-02Ajout de dynamiques pour les quotations constr et tacticdelahaye
2001-09-20Transparentbarras
2001-09-19Deplacement des setoides.clrenard
2001-09-18Modification de l'emplacement des fichiers pour les setoides.clrenard
2001-09-18Romega/names/Makefilemohring
2001-08-10Parsingherbelin
2001-08-10Repository : pauillac.inria.fr:/net/pauillac/constr/ARCHIVEherbelin
2001-07-10Changement de place et de nom de la tactique Setoid_rewrite.clrenard
2001-06-26Mise a jour des .dependclrenard
2001-06-25Les réduction dans les hypothèses s'appliquent maintenant au corps de la dÃ...herbelin
2001-06-25Découpage de g_tactic.ml4 en 2 (pour satisfaire les contraintes de la compil...herbelin
2001-06-19Extension des parametres de Cleardelahaye
2001-06-12Ajout des entrees puor Setoid_replace.clrenard
2001-05-28Pretty -> Prettypfilliatr
2001-05-14mise en place extraction haskellfilliatr
2001-04-24Ajout de Rseries et Rtrigo_funmayero
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-21 02:04:30 +0000