ctan-ann - prooftrees

CTAN update: prooftrees

Sun, 27 Oct 2024 08:25:31 +0100

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 update: prooftrees

Fri, 05 Sep 2025 07:10:37 +0200

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.

...

CTAN update: prooftrees

Tue, 20 Jan 2026 12:45:44 +0100

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

...

CTAN update: prooftrees

Sun, 22 Feb 2026 09:17:54 +0100

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

...