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
but note that it based on TeX Snippets (search for snippets).
This archive was generated by a fusion of
Pipermail (Mailman edition) and