ctan-ann - prooftreesAnnouncements of the Comprehensive TeX Archive Networkctan-ann-prooftrees2026-03-15T11:52:39ZCTAN update: prooftreesd2cc1833-b4ce-492f-a446-2f08ed3b0204@ctan.org2024-10-27T08:25:31ZClea F. Rees submitted an update to the
prooftrees
package.
...
Clea F. Rees submitted an update to the
prooftrees
package.
Version: 0.9
License: lppl1.3c
Summary description: Forest-based proof trees (symbolic logic)
Announcement text:Update adds out-of-the-box support for memoization.
...
]]>
CTAN Announcementsctan-ann at ctan.org CTAN update: prooftreesaLqM7V8HKno_bODd@prptp2025-09-05T07:10:37ZClea F. Rees submitted an update to the
prooftrees
package.
...
Clea F. Rees submitted an update to the
prooftrees
package.
Version: 0.9.1 2025-09-04
License: lppl1.3c
Summary description: Forest-based proof trees (symbolic logic)
Announcement text:
All forest keylists are now left untouched to make user customisation
easier and some additional keylists are reserved for user use.
These are before copying content, before making annotations and
...
]]>
CTAN Announcementsctan-ann at ctan.org CTAN update: prooftreesaW94-KJbiM5uYtvK@prptp2026-01-20T12:45:44ZClea F. Rees submitted an update to the
prooftrees
package.
...
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.
...
]]>
CTAN Announcementsctan-ann at ctan.org CTAN update: prooftreesaZrJwhQjb-2vnmtw@prptp2026-02-22T09:17:54ZClea F. Rees submitted an update to the
prooftrees
package.
...
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
...
]]>
CTAN Announcementsctan-ann at ctan.org