*To*: Alfio Martini <alfio.martini at acm.org>*Subject*: Re: [isabelle] LaTeX Theorem Environments for Definitions and Proofs*From*: Tobias Nipkow <nipkow at in.tum.de>*Date*: Thu, 20 Dec 2012 13:57:26 +0100*Cc*: cl-isabelle-users at lists.cam.ac.uk*In-reply-to*: <CAAPnxw2xCo4_pL-fFY0OD8SbTY_wDKQSvNp-7a6_uuh21q9dvg@mail.gmail.com>*References*: <CAAPnxw3eaBNPH_CGjfYHX=s=XPhBVL1CB2PYa_WL6JOhw5sKkw@mail.gmail.com> <50D2B93E.2010308@in.tum.de> <CAAPnxw2xCo4_pL-fFY0OD8SbTY_wDKQSvNp-7a6_uuh21q9dvg@mail.gmail.com>*User-agent*: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.6; rv:17.0) Gecko/17.0 Thunderbird/17.0

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

**References**:**[isabelle] LaTeX Theorem Environments for Definitions and Proofs***From:*Alfio Martini

**Re: [isabelle] LaTeX Theorem Environments for Definitions and Proofs***From:*Tobias Nipkow

**Re: [isabelle] LaTeX Theorem Environments for Definitions and Proofs***From:*Alfio Martini

- Previous by Date: Re: [isabelle] LaTeX Theorem Environments for Definitions and Proofs
- Next by Date: Re: [isabelle] intro rule for &&&
- Previous by Thread: Re: [isabelle] LaTeX Theorem Environments for Definitions and Proofs
- Next by Thread: [isabelle] intro rule for &&&
- Cl-isabelle-users December 2012 archives indexes sorted by: [ thread ] [ subject ] [ author ] [ date ]
- Cl-isabelle-users list archive Table of Contents
- More information about the Cl-isabelle-users mailing list