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 .

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)