ctan-ann - logictools Announcements of the Comprehensive TeX Archive Network ctan-ann-logictools 2026-06-07T04:45:29Z New on CTAN: logictools aBhT_DV_Vz7cYZcd@prptp 2025-05-05T06:00:28Z Miles Min Yin Cheang submitted the logictools package. ... 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 is the formallogic environment, that makes it easy and fast to ... ]]> CTAN Announcements ctan-ann at ctan.org CTAN update: logictools aC37JOUuPKT4VB2y@prptp 2025-05-21T16:11:16Z Miles Min Yin Cheang submitted an update to the logictools package. ... 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... ... ]]> CTAN Announcements ctan-ann at ctan.org