Re: [isabelle] Monad_Syntax latex symbols

Hi Matthieu,

While compiling generated documents from theories, it seems some symbols of
Monad_Syntax are missing. Should they be defined in isabellesym.sty ?

As a user, you are free to define your own latex renderings of these symbols... But we should probably add a sensible default...

Monad_Syntax.tex:37: Undefined control sequence \frqq.

This one requires



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