aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel/vernacentries.mli
Commit message (Expand)AuthorAge
* documentation interfacesGravatar filliatr1999-12-13
* module MetasyntaxGravatar filliatr1999-12-01
* Vernacinterp et Vernacentries (partiellement)Gravatar filliatr1999-11-24