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 MHonArc.