CTAN update: FraGoLi

CTAN Announcements via ctan-ann <[email protected]>
Newsgroups gmane.comp.tex.ctan.announce
Organization CTAN
Message-ID <[email protected]>
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
_______________________________________________
ctan-ann mailing list -- [email protected]
To unsubscribe send an email to [email protected]
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.