Re: [isabelle] Embeding theories in existing latex document

All of this is completely unsupported. I seem to be the only person who wants to write papers directly in LaTeX rather than using Isabelle markup.

No, you are not the only one, I prefer to use Latex for my papers, too. It would be good to have a little bit more support for this style of authoring.


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