ctan-ann - prooftreesAnnouncements of the Comprehensive TeX Archive Networkctan-ann-prooftrees2024-03-29T13:39:23ZCTAN update: prooftreesmailman.2731.1463456050.4277.ctan-ann@ctan.org2016-05-17T05:34:08ZClea F. Rees submitted an update to the
prooftrees
package.
...
Clea F. Rees submitted an update to the
prooftrees
package.
Version number: 0.4
License type: lppl1.3
Summary description: Forest-based proof trees (symbolic logic)
Announcement text:This version fixes two bugs: line no shift now works correctly and a
stray edge has been eliminated which was otherwise erroneously drawn in
certain cases.
...
]]>
CTAN Announcementsctan-ann at ctan.org CTAN update: prooftreesmailman.3148.1486709162.17497.ctan-ann@ctan.org2017-02-10T07:45:59ZClea F. Rees submitted an update to the
prooftrees
package.
...
Clea F. Rees submitted an update to the
prooftrees
package.
Version number: 0.6
License type: lppl1.3
Summary description: Forest-based proof trees (symbolic logic)
Announcement text:This version provides compatibility with bussproofs.This package is located at
...
]]>
CTAN Announcementsctan-ann at ctan.org CTAN update: prooftreesmailman.3299.1569920505.9289.ctan-ann@ctan.org2019-10-01T11:01:41ZClea F. Rees submitted an update to the
prooftrees
package.
...
Clea F. Rees submitted an update to the
prooftrees
package.
Version number: 0.7 svn 8641
License type: lppl1.3
Summary description: Forest-based proof trees (symbolic logic)
Announcement text:Bug fix for https://tex.stackexchange.com/q/479263/39222; addition of
auto move boolean for disabling automatic algorithm for line moves.
...
]]>
CTAN Announcementsctan-ann at ctan.org CTAN update: prooftreesmailman.438.1687167244.3764.ctan-ann@ctan.org2023-06-19T11:33:51ZClea F. Rees submitted an update to the
prooftrees
package.
...
Clea F. Rees submitted an update to the
prooftrees
package.
Version: 0.8 svn 9582 2023-06-18
License: lppl1.3
Summary description: Forest-based proof trees (symbolic logic)
Announcement text:
Corrects a bug affecting the positioning of closure symbols.
These should no longer be oddly distanced from the last wff
in the branch.
...
]]>
CTAN Announcementsctan-ann at ctan.org