Skip to content

fix(doc): sync the Pygments lexer with ecLexer.mll - #1212

Merged
strub merged 1 commit into
EasyCrypt:mainfrom
hm-yousuf:fix/doc-lexer
Oct 23, 2026
Merged

strub merged 1 commit into
EasyCrypt:mainfrom
hm-yousuf:fix/doc-lexer

fix(doc): sync the Pygments lexer with ecLexer.mll

ef00e2b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view