CTAN update: FraGoLi

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 .

_______________________________________________
ctan-ann mailing list -- [email protected]
To unsubscribe send an email to [email protected]