Sujet : CTAN update: logictools
De : petra (at) *nospam* ctan.org (CTAN Announcements)
Groupes : comp.text.texDate : 21. May 2025, 17:11:16
Autres entêtes
Organisation : CTAN
Message-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...
----------------------------------------------------------------------
The package’s Catalogue entry can be viewed at
https://ctan.org/pkg/logictoolsThe package’s files themselves can be inspected at
https://mirrors.ctan.org/macros/latex/contrib/logictools/------------------------------------------------------------------------
Thanks for the upload.
For the CTAN Team
Petra Rübe-Pugliese
------------------------------------------------------------------------
CTAN is run entirely by volunteers and supported by TeX user groups.
Please join a user group or donate to one, see
https://ctan.org/lugs