tag memoize-ext v0.2

Tagging prooftrees v0.9.3

Tagging memoize-ext v0.1.

tag forest-ext v0.3

Reset tag for forest-ext

Tag v0.9.2 of tableaux (prooftrees-0.9.2)

tab forest-ext v0.1

tag prooftrees v0.9.1

tag 0.9.1 for ctan

tag lt-2024-11-01 fix for docs