search

cpitclaudel / alectryon

A collection of tools for writing technical documents that mix Coq code and prose.
MIT License
227 stars 36 forks source link

extending the lexer in the header #72

Open gares opened 2 years ago

gares commented 2 years ago

I switched to 1.4 and I get errors suggesting to do alectryon/pygments/tacn: -> alectryon/pygments/coq/tacn:. I followed the advice, but now my html starts with a bold alectryon/pygments/tacn: elpi (as if it was a regular header, like authors).

gares commented 2 years ago

Example in the artifact : https://github.com/LPCIC/coq-elpi/actions/runs/1435066430