aboutsummaryrefslogtreecommitdiff
path: root/contrib/xml
AgeCommit message (Expand)Author
2000-12-07type attribute added to PROD (for ForAll vs Pi rendering)sacerdot
2000-12-07COPYRIGHT file added; some comments changedsacerdot
2000-12-06Bug identarg au lieu de qualidargherbelin
2000-12-05Inner types are now reduced and arrows are created whensacerdot
2000-12-01LETIN now has a letintarget instead of a targetsacerdot
2000-12-01cictypes.dtd changedsacerdot
2000-11-30Used a force function to force stream evaluation only for aestaetics reasons.sacerdot
2000-11-30Identifier order in the inner-types file changed.sacerdot
2000-11-29Modifications due to the new As option in AddPath and AddRecPath.sacerdot
2000-11-29Now also inner-types are exported.sacerdot
2000-11-28Code clean-up due to the new usage of longer names in Coq.sacerdot
2000-11-28Prise en compte du repertoire dans le section path; utilisation de dirpath po...herbelin
2000-11-27Many improvements. Xml contrib retached to the V7.sacerdot
2000-11-15Changed the semantics of AddRecPath.sacerdot
2000-11-09Renommage canonique SectionLocalDecl -> SectionLocalAssumherbelin
2000-11-08nouveau load pathfilliatr
2000-11-08First version with out_variable used. Exports all the standard librarysacerdot
2000-11-07Changement/extension dans les noms de parseurs de Grammarherbelin
2000-11-06nouveau discharge fait par le noyau; plus de recettes dans les corps des cons...filliatr
2000-11-03Few OCaml files in contrib/xmlsacerdot
2000-11-03URI problem addressed, but not resolved yetsacerdot
2000-10-26ntrefiner.ml* removed in module xmlsacerdot
2000-10-25Porting from V6 finished, but not working.sacerdot
2000-10-25Added xml contribution to configuresacerdot
2000-10-25xml contribution created.sacerdot
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 11:27:17 +0000