Stream: Coq users

Topic: Alectryon Snippets embedded in Latex


view this post on Zulip Raul (Jun 23 2022 at 18:06):

That's exactly what I want but i just get an AssertionError on (that's what the traceback shows):
assert tex.startswith(PYGMENTS_LATEX_PREFIX) and tex.endswith(PYGMENTS_LATEX_SUFFIX)

view this post on Zulip Raul (Jun 23 2022 at 18:08):

It happens when using alectryon for *.v -> *.tex, in *.v -> *.html works fine for me.
Even doing make in hydra-battles/doc/movies does give the error.


Last updated: Feb 01 2023 at 11:04 UTC