ctan-ann - logictools https://www.ctan.org/ctan-ann/rss/logictools.xml CTAN announcements mailing list - for package logictools Fri, 11 Sep 2026 07:20:10 +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/logictools.xml New on CTAN: logictools https://www.ctan.org/ctan-ann/id/aBhT_DV_Vz7cYZcd@prptp Miles Min Yin Cheang submitted the logictools package. Version: 0.1.0 2025-05-03 License: lppl1.3 Summary description: Additional tools for typesetting formal logic Announcement text:
The logictools package is here! If you find yourself typesetting formal logic often, you should check it out! The star of the show ... ]]> Mon, 05 May 2025 06:00:28 +0200 https://www.ctan.org/ctan-ann/id/aBhT_DV_Vz7cYZcd@prptp CTAN update: logictools https://www.ctan.org/ctan-ann/id/aC37JOUuPKT4VB2y@prptp Miles Min Yin Cheang submitted an update to the logictools package. Version: 0.1.1 2025-05-20 License: lppl1.3 Summary description: Additional tools for typesetting formal logic Announcement text:
Updates for compatability with LuaTeX, unicode-math, babel (greek), bug fixes, better error handling. Among other things... ... ]]> Wed, 21 May 2025 16:11:16 +0200 https://www.ctan.org/ctan-ann/id/aC37JOUuPKT4VB2y@prptp