pirapira / eth-isabelle

A Lem formalization of EVM and some Isabelle/HOL proofs
Other
237 stars 42 forks source link

make lem-pdf fails #445

Open pirapira opened 7 years ago

pirapira commented 7 years ago

On master, make lem-pdf fails like this:

(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd)
! Undefined control sequence.
<argument> ...xttt {\char `\=}\ \texttt {\char `\<
                                                  }\texttt {\char `\|}\\\hsp...
l.29 \LEMcreateEnv

This command should be part of the continuous integration builds.