Re: [isabelle] LaTeX Theorem Environments for Definitions and Proofs



Am 20/12/2012 13:48, schrieb Alfio Martini:
> Now I will delve into the question of labeling proofs and definitions as we do
> with ams theorem 
> package. However, before going
> to extremes (i.e., using TeX Snippets), is there a way to  get the LaTeX Sugar
> manual of the
> development version (without having to download/build  the repository version)?

You can read it online
http://isabelle.in.tum.de/repos/isabelle/file/48c0c3bc40dd/src/Doc/LaTeXsugar/Sugar.thy
but note that it based on TeX Snippets (search for snippets).

Tobias





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