aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib/xml
Commit message (Expand)AuthorAge
* petits changements cosmetiques sur les tactiquesGravatar barras2002-02-15
* OrthographeGravatar herbelin2002-01-11
* reparation du make depend et du .dependGravatar letouzey2001-12-19
* Mise en place d'une méthode directe pour indiquer le type des déclarations ...Gravatar herbelin2001-11-19
* GROS COMMIT:Gravatar barras2001-11-05
* Abstraction de l'immplementation de dirpath et implementation dans l'autre se...Gravatar herbelin2001-10-17
* Déplacement de global_reference dans Names pour pouvoir lier Nametab à gra...Gravatar herbelin2001-10-12
* Suppression des arguments sur les constantes, inductifs et constructeursGravatar barras2001-10-09
* TransparentGravatar barras2001-09-20
* Report des modifs de ClaudioGravatar herbelin2001-09-20
* ParsingGravatar herbelin2001-08-10
* amelioration des messages d'erreurs vis a vis des evarsGravatar barras2001-05-23
* application patch ClaudioGravatar filliatr2001-05-11
* Changement de la structure des points fixesGravatar barras2001-05-03
* entetesGravatar filliatr2001-03-15
* Déplacement de qualid dans Nametab, hors du noyauGravatar herbelin2001-03-01
* nouvelle implantation de la reductionGravatar barras2001-03-01
* ident au lieu de string pour le nom de base de qualidGravatar herbelin2001-02-16
* Mise en place d'un système optionnel de discharge immédiat; prise en compte...Gravatar herbelin2001-02-14
* Absolute URL for DTDs introducedGravatar sacerdot2001-02-13
* Retrait de EvarRef de global_reference; nettoyage autour de ast_of_refGravatar herbelin2001-02-07
* Ajout du Let pour le langage de tactiquesGravatar delahaye2000-12-29
* Scripts de correction d'uriGravatar herbelin2000-12-20
* MAJGravatar herbelin2000-12-20
* Non verbose par défautGravatar herbelin2000-12-20
* Bug sur commit précédentGravatar herbelin2000-12-14
* Les params d'inductif deviennent en même temps propre à chaque inductif d'u...Gravatar herbelin2000-12-14
* syntaxe AST Inversion + commentaires ocamlweb autour de $Gravatar filliatr2000-12-12
* type attribute added to PROD (for ForAll vs Pi rendering)Gravatar sacerdot2000-12-07
* COPYRIGHT file added; some comments changedGravatar sacerdot2000-12-07
* Bug identarg au lieu de qualidargGravatar herbelin2000-12-06
* Inner types are now reduced and arrows are created whenGravatar sacerdot2000-12-05
* LETIN now has a letintarget instead of a targetGravatar sacerdot2000-12-01
* cictypes.dtd changedGravatar sacerdot2000-12-01
* Used a force function to force stream evaluation only for aestaetics reasons.Gravatar sacerdot2000-11-30
* Identifier order in the inner-types file changed.Gravatar sacerdot2000-11-30
* Modifications due to the new As option in AddPath and AddRecPath.Gravatar sacerdot2000-11-29
* Now also inner-types are exported.Gravatar sacerdot2000-11-29
* Code clean-up due to the new usage of longer names in Coq.Gravatar sacerdot2000-11-28
* Prise en compte du repertoire dans le section path; utilisation de dirpath po...Gravatar herbelin2000-11-28
* Many improvements. Xml contrib retached to the V7.Gravatar sacerdot2000-11-27
* Changed the semantics of AddRecPath.Gravatar sacerdot2000-11-15
* Renommage canonique SectionLocalDecl -> SectionLocalAssumGravatar herbelin2000-11-09
* nouveau load pathGravatar filliatr2000-11-08
* First version with out_variable used. Exports all the standard libraryGravatar sacerdot2000-11-08
* Changement/extension dans les noms de parseurs de GrammarGravatar herbelin2000-11-07
* nouveau discharge fait par le noyau; plus de recettes dans les corps des cons...Gravatar filliatr2000-11-06
* Few OCaml files in contrib/xmlGravatar sacerdot2000-11-03
* URI problem addressed, but not resolved yetGravatar sacerdot2000-11-03
* ntrefiner.ml* removed in module xmlGravatar sacerdot2000-10-26
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 21:59:39 +0000