2022-03-13 19:29 GMT+11:00 "Julien Fischer" <jfischer at opturion.com>: > I don't know anything about mmc-doc or how it works, but from Mercury > 22.01 onwards the lexer module has been renamed to mercury_lexer. Actually, it has been renamed to mercury_term_lexer. Zoltan.