aboutsummaryrefslogtreecommitdiff
path: root/contrib/xml/xml.ml
AgeCommit message (Expand)Author
2001-03-15entetesfilliatr
2000-11-29Now also inner-types are exported.sacerdot
2000-10-25xml contribution created.sacerdot
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-05 18:41:47 +0000