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

  \usepackage[english]{babel}


Alex





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