ctan-ann - prftree https://www.ctan.org/ctan-ann/rss/prftree.xml CTAN announcements mailing list - for package prftree Thu, 14 May 2026 07:15:25 +0200 en-US 60 webmaster@ctan.org (Comprehensive TeX Archive Network) Comprehensive TeX Archive Network https://www.ctan.org/assets/favicon/android-chrome-48x48.png https://www.ctan.org/ctan-ann/rss/prftree.xml New on CTAN: prftree https://www.ctan.org/ctan-ann/id/mailman.2959.1417532469.4370.ctan-ann@dante.de Marco Benini submitted the prftree package. Version number: 2014/11/30 License type: gpl Summary description: A new package to typeset proofs in natural deduction and similar Announcement text:
A new package to typeset proofs in natural deduction and similar ... ]]> Tue, 02 Dec 2014 16:00:42 +0100 https://www.ctan.org/ctan-ann/id/mailman.2959.1417532469.4370.ctan-ann@dante.de CTAN update: prftree https://www.ctan.org/ctan-ann/id/mailman.5.1561039667.2431.ctan-ann@ctan.org Marco Benini submitted an update to the prftree package. Version number: 1.6 2019-06-19 License type: gpl Summary description: Macros for building proof trees Announcement text:
The new version 1.6 of the prftree package has a new support for proofs in ... ]]> Thu, 20 Jun 2019 12:28:41 +0200 https://www.ctan.org/ctan-ann/id/mailman.5.1561039667.2431.ctan-ann@ctan.org