[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".


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

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