Paul Eduard Koenig submitted an update to the
FraGoLi
package.
Version number: 1.2.2 License type: lppl1.3c
Summary description: Macros for constructing complex semantic derivations
Announcement text: ----------------------------------------------------------------------
* 1.2.2 * Add degree semantics support. * Add traces with spaces. * Add new commands for semantic lexicon entries. * Add typenestingstyle (credits to \textit{C'{e}cile Meier}) * Add new pre defined lambda heads. * Add commands to change package settings mid document. * Add basic brackets command for \textit{cps} prevention and bold mode. * Add type shortcuts for fgls env. * Add formatting options for types, situations and direct/indirect superscripts. * Add lambda headers with quantifiers for fgls env. * Fix fglsem command with regard to line breaks. Adding varwidth dependency for that. * Fix some pre-defined lambda heads not beeing bold in bold mode. * Fix spacing on lambda heads with visible types in upper mode * Fix spacing on derivation steps
----------------------------------------------------------------------
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 Erik Braun
------------------------------------------------------------------------
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