Repository navigation

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

fix(doc): sync the Pygments lexer with ecLexer.mll#1212
strub merged 1 commit into
EasyCrypt:mainfrom
hm-yousuf:fix/doc-lexer

Commits on Oct 23, 2026
- fix(doc): sync the Pygments lexer with ecLexer.mll
  
  hm-yousuf
  authored and
  strub
  committed
  ef00e2b