theorem tools

An ongoing project that is not just another package to provide theorem environments. Thmtools' aim is to provide new features, but to rely on another package to provide the customary theorem commands.

Features that are under consideration, in no particular order:

• Key=val interface, because I can't remember which optional parameter is the parent counter and which is the sibling counter. Try thm-kv.sty, part of thmtools.

  You can define your own keys. For example, you can have a key-val interface to shadethm.sty

• List-of-theorems, similar to the way ntheorem already has them. Try thm-listof.sty, part of thmtools.
• Better hyperref support (\autoref). An article about the hoops one has to jump through to make it work appeared in Die TeXnische Komödie. Try thm-autoref.sty, part of thmtools.
• A numbering scheme that turns off the number if there is only a single theorem. This comes up sometimes in comp.text.tex and is useful for journal submissions. See unique, part of thmtools.
• A \thref command similar to ntheorem's, but that doesn't break xr and hyperref. Unlikely, since we have \autoref, which works.
• A lot of people ask for a way of restating theorems, like a \ref that gives the whole body. Try thm-restate.sty, part of thmtools.
• Complex theorem names, like "Remark 1 on Theorem 4.7". Possibly with a fancy \ref mechanism that only says "Remark 1" if close enough to Theorem 4.7. Possibly also clairvoyant names, when a preliminary remark precedes the actual theorem.

Current version available here:

• v63 thmtools-v63.tar.gz (256.9Kb, 2012-05-04) thmtools-v63-texmf.zip (277.3Kb, 2012-05-04)
  • Bugfix release (annual keyval parsing patch update)
• v62 thmtools-v62.tar.gz (255.7Kb, 2011-11-27) thmtools-v62-texmf.zip (275.9Kb, 2011-11-27)
  • Support for mdframed.
• v61 thmtools-v61.tar.gz (255.4Kb, 2011-06-02) thmtools-v61-texmf.zip (276.4Kb, 2011-06-02)
  • Bugfix release (keyval parsing patch update)
• v57 thmtools-v57.tar.gz (253.8Kb, 2011-02-03) thmtools-v57-texmf.zip (274.6Kb, 2011-02-03)
  • name= and restate= now accept optional arguments
  • minor bugfixes
• v54 thmtools-v54.tar.gz (252.5Kb, 2011-01-01) thmtools-v54-texmf.zip (273.2Kb, 2011-01-01)
  • minor bugfixes
• v50 thmtools-v50.tar.gz (254.3Kb, 2010-08-09) thmtools-v50-texmf.zip (275.9Kb, 2010-08-09)
  • fixed qedhere in theorem etc.
• v49 thmtools-v49.tar.gz (254.3Kb, 2010-07-25) thmtools-v49-texmf.zip (275.8Kb, 2010-07-25)
  • vanity change in docs
  • bugfixes
• v41 thmtools-v41.tar.gz (255.5Kb, 2010-07-05) thmtools-v41-texmf.zip (276.1Kb, 2010-07-05)
  • new key continues= for theorems
  • bugfixes
• v38 thmtools-v38.tar.gz (251.9Kb, 2010-06-26) thmtools-v38-texmf.zip (271.4Kb, 2010-06-26)
  • experimental llncs.cls support
  • package options uppercase,lowercase,anycase govern default behaviour of names
  • bugfixes
• v35 thmtools-v35.tar.gz (245.7Kb, 2010-06-08) thmtools-v35-texmf.zip (263.8Kb, 2010-06-08)
  • changes to the (undocumented) way keyval in the document is handled
  • \declaretheorem and \declaretheoremstyle now preamble-only
  • bugfixes
• v29 thmtools-v29.tar.gz (244.3Kb, 2010-05-30)
  • doc update
  • minor bugfixes
• v24 thmtools-v24.tar.gz (201.0Kb, 2010-05-18)
  • doc update
  • bugfixes
• v17 thmtools-v17.tar.gz (180.1Kb, 2010-05-11)
  • cleveref support: refname, Refname now can take {singular,plural} as well
• v16 thmtools-v16.tar.gz (180.0Kb, 2010-05-10)
  • support for \nameref
  • \declaretheoremstyle will pass unknown keys to \declaretheorem
  • bugfixes
• v13 thmtools-v13.tar.gz (178.9Kb, 2010-05-03)
  • new key Refname to go with command \Autoref, which otherwise should behave identical to \autoref
  • bugfixes
• v10 thmtools-v10.tar.gz (175.3Kb, 2010-05-02)
  • key-val interface for the optional "note" argument to theorems
  • first undocumented drafts of \declaretheoremstyle
  • more extensible keyval scheme
  • source reorganisazation and new verison number scheme
  • starting new manual
  • bugfixes
• 0.1beta14 thmtools-v0.1beta14.tar.gz (107.0Kb, 2010-04-22)
  • allow defined color names for shaded options
  • allow numbered=yes/no/unless unique option
• 0.1beta13 thmtools-v0.1beta13.tar.gz (106.3Kb, 2010-04-05)
  • remove old bugs, introduce new bugs
• 0.1beta12 thmtools-v0.1beta12.tar.gz (105.1Kb, 2010-01-16)
  • fixes a hyperref/thm-restate bug reported by Sylvain Chevillard.
• 0.1beta11 thmtools-v0.1beta11.tar.gz (105.0Kb, 2009-07-30)
  • bugfixes
• 0.1beta10 thmtools-v0.1beta10.tar.gz (104.7Kb, 2009-05-25)
  • doc update
  • bugfixes
• 0.1beta9 thmtools-v0.1beta9.tar.gz (100.6Kb, 2009-03-22)
  • allow multiple calls to \listoftheorems
• 0.1beta8 thmtools-v0.1beta8.tar.gz (99.8Kb, 2008-09-02)
  • add keyval argument to \listoftheorems
• Older versions not retained. For the reference: first thmtools bundle release Feb. 09, 2008.

Pending bugs

• Not tested enough.
• Odd vertical spacing if you restate a shaded theorem inside a list. (So don't hold it that way!)