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/fragoli
More 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 .