[isabelle] AFP/VerifyThis2018 document fails in development version



The above AFP entry builds fine with Isabelle2017. However, with the development version of the AFP (97ca62a352d8) and Isabelle (eg 9339687ca071), document generation fails:

*** Latex error (line 8 of "~/AFP/devel/thys/VerifyThis2018/lib/Synth_Definition.thy"):
***   Undefined control sequence.
***   <argument> \normalfont \rmfamily \wasylozenge

The problem seems to come from an ML block containing the string "⌑::?'v_T".

Tobias

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.