Re: [isabelle] Monad_Syntax latex symbols
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