Sujet : CTAN update: FraGoLi
De : manfred (at) *nospam* ctan.org (CTAN Announcements)
Groupes : comp.text.texDate : 29. Mar 2025, 21:36:43
Autres entêtes
Message-ID : <272b13df-83d4-4d84-840a-f82b0957e8d9@ctan.org>
User-Agent : Betterbird (Linux)
Paul Eduard Koenig submitted an update to the
FraGoLi
package.
Version: 1.1.1
License: lppl1.3c
Summary description: Macros for constructing complex semantic derivations
Announcement text:
--------------------------------------------------------------------------------
Release Notes FraGoLi \v 1.1.1:
* Fix missing package dependency.
* Fix text overline overriding uuline internal length.
* Fix parentheses on lambda quantifier heads being bold in non bold mode.
* Add lambdaheadstyle package option.
* Add new fuction framework.
* Add new logic commands.
* Add new logic constants.
* Add new relation constants.
* Add new quantifier commands.
* Extend set command.
--------------------------------------------------------------------------------
This package is located at
https://mirrors.ctan.org/macros/latex/contrib/fragoliMore information is at
https://www.ctan.org/pkg/fragoli--------------------------------------------------------------------------------
Thanks for the upload.
For the CTAN Team
Manfred Lotz
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 .
CTAN update: FraGoLi