aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dml/parser.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Include messages on on all conditionsEstevan Castilho2026-05-231-1/+1
* Migrate the parsers overEstevan Castilho2026-05-211-3/+6
* formatMarcos Magueta2026-04-031-4/+3
* Sublanguages improvement & Coq experiment (#53)Marcos Magueta2026-03-221-0/+5
* dml and dclMarcos Magueta2026-03-081-0/+9