1. Forum
  2. USENET
  3. comp.text.tex

  • CTAN update: prooftrees

    From CTAN Announcements@petra@ctan.org to CTAN Announcements on Tue Jan 20 13:45:44 2026
    From Newsgroup: comp.text.tex

    Clea F. Rees submitted an update to the

    prooftrees

    package.

    Version: 0.9.2 2026-01-19
    License: lppl1.3c

    Summary description: Forest-based proof trees (symbolic logic)

    Announcement text: ----------------------------------------------------------------------

    Requires forest-ext v0.2. Tagging is now publicly documented.
    Tagging code will be automatically generated if tagging is
    active when a tableau is typeset.

    ----------------------------------------------------------------------

    The packagerCOs Catalogue entry can be viewed at
    https://ctan.org/pkg/prooftrees

    The packagerCOs files themselves can be inspected at
    https://mirrors.ctan.org/graphics/pgf/contrib/prooftrees/

    ------------------------------------------------------------------------

    Thanks for the upload.

    For the CTAN Team
    Petra R|+be-Pugliese

    ------------------------------------------------------------------------

    CTAN is run entirely by volunteers and supported by TeX user groups.
    Please join a user group or donate to one, see https://ctan.org/lugs
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From CTAN Announcements@petra@ctan.org to CTAN Announcements on Sun Feb 22 10:17:54 2026
    From Newsgroup: comp.text.tex

    Clea F. Rees submitted an update to the

    prooftrees

    package.

    Version: 0.9.3 2026-02-21
    License: lppl1.3c

    Summary description: Forest-based proof trees (symbolic logic)

    Announcement text: ----------------------------------------------------------------------

    prooftrees now uses the updated forest-ext (v0.3) for tagging and
    memoize-ext for memoizing tagged tableaux (if memoize is loaded).
    Changes should not affect the user interface unless custom tagging
    was enabled, in which case some modifications may be required.
    (But in this case, almost everything is done by the user and not
    this package, so hopefully this should not be a problem.)
    This greatly simplifies the memos since most complications
    involving catcode changes can be avoided.

    ----------------------------------------------------------------------

    The packagerCOs Catalogue entry can be viewed at
    https://ctan.org/pkg/prooftrees

    The packagerCOs files themselves can be inspected at
    https://mirrors.ctan.org/graphics/pgf/contrib/prooftrees/

    ------------------------------------------------------------------------

    Thanks for the upload.

    For the CTAN Team
    Petra R|+be-Pugliese

    ------------------------------------------------------------------------

    CTAN is run entirely by volunteers and supported by TeX user groups.
    Please join a user group or donate to one, see https://ctan.org/lugs
    --- Synchronet 3.21b-Linux NewsLink 1.2