aboutsummaryrefslogtreecommitdiffhomepage
path: root/.depend
Commit message (Expand)AuthorAge
* GROS COMMIT:Gravatar barras2001-11-05
* Fin de mise en place de l'option Optimize. Reorganisation du pretty-print. ET...Gravatar letouzey2001-10-26
* chambardement important des fichiers auxiliaires. Nouvelle syntaxe pour les o...Gravatar letouzey2001-10-22
* Suppression des arguments sur les constantes, inductifs et constructeursGravatar barras2001-10-09
* Ajout de dynamiques pour les quotations constr et tacticGravatar delahaye2001-10-02
* TransparentGravatar barras2001-09-20
* Deplacement des setoides.Gravatar clrenard2001-09-19
* Modification de l'emplacement des fichiers pour les setoides.Gravatar clrenard2001-09-18
* Romega/names/MakefileGravatar mohring2001-09-18
* ParsingGravatar herbelin2001-08-10
* Repository : pauillac.inria.fr:/net/pauillac/constr/ARCHIVEGravatar herbelin2001-08-10
* Changement de place et de nom de la tactique Setoid_rewrite.Gravatar clrenard2001-07-10
* Mise a jour des .dependGravatar clrenard2001-06-26
* Les réduction dans les hypothèses s'appliquent maintenant au corps de la dÃ...Gravatar herbelin2001-06-25
* Découpage de g_tactic.ml4 en 2 (pour satisfaire les contraintes de la compil...Gravatar herbelin2001-06-25
* Extension des parametres de ClearGravatar delahaye2001-06-19
* Ajout des entrees puor Setoid_replace.Gravatar clrenard2001-06-12
* Pretty -> PrettypGravatar filliatr2001-05-28
* mise en place extraction haskellGravatar filliatr2001-05-14
* Ajout de Rseries et Rtrigo_funGravatar mayero2001-04-24
* Ajout Fourier, DiscrR, ...Gravatar mayero2001-04-20
* remplace Zarith par ZArithGravatar mohring2001-04-19
* *** empty log message ***Gravatar courant2001-04-19
* Ajout de FieldGravatar delahaye2001-04-19
* Adding files for the production of textual explanations as used in pcoq.Gravatar bertot2001-04-18
* Modified searchPattern. Before this correction, constructors were overlooked,Gravatar bertot2001-04-10
* réparation Correctness; options Extraction (changement de syntaxe)Gravatar filliatr2001-04-10
* Ajout lemmes arithmetiquesGravatar mohring2001-04-08
* mise en place de Correctness; vieille syntaxe Extraction viree de g_vernac.ml4Gravatar filliatr2001-04-05
* renommage du module Pcoq.Vernac en Pcoq.Vernac_ pour contourner un bug d'ocam...Gravatar filliatr2001-04-04
* Adding the dependencies for the parser that is used in the interface pcoq.Gravatar bertot2001-04-04
* dependencies required for contrib/interfaceGravatar bertot2001-04-04
* branchement extraction (bytecode seulement)Gravatar filliatr2001-03-30
* amelioration de la structure des universGravatar barras2001-03-28
* mise a jourGravatar filliatr2001-03-27
* mise a jourGravatar filliatr2001-03-23
* extraction naive de fix et caseGravatar filliatr2001-03-20
* Déplacement des erreurs non noyau dans Pretype_errors ou Cases; localisationGravatar herbelin2001-03-11
* module Explore générique et réécriture EAuto avec ce module; occur check ...Gravatar filliatr2001-03-05
* Déplacement de qualid dans Nametab, hors du noyauGravatar herbelin2001-03-01
* nouvelle implantation de la reductionGravatar barras2001-03-01
* mise a jourGravatar filliatr2001-02-26
* Stdlib -> Coqlib, Stock disparaitGravatar herbelin2001-02-14
* simplification du make depend; fonctions de stat. util. memoire dans certains...Gravatar filliatr2001-02-08
* Centralisation des add_path dans Mltop a cause de la dependance en add_ml_dirGravatar herbelin2001-02-07
* mise en place extractionGravatar filliatr2001-02-06
* mise a jourGravatar filliatr2001-02-06
* MAJGravatar herbelin2001-02-06
* calcul des dependances camlp4 et production directe ml4 -> cmo (avec Judicael)Gravatar filliatr2001-02-05
* MAJGravatar herbelin2001-01-30
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-12 20:03:16 +0000