Re: [isabelle] using beamer in document preparation



Makarius wrote:

> LaTeX is inherently non-compositional.  Style files and packages routinely cause
> clashes of options, macros etc.

Is there a better way to typeset scientific documents?

- Gergely




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