1. Forum
  2. Usenet
  3. COMP.TEXT.TEX

  • CTAN update: FraGoLi

    From CTAN Announcements@21:1/5 to All on Sat Mar 29 21:36:43 2025
    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)
  • From CTAN Announcements@21:1/5 to All on Fri Jun 6 21:55:56 2025
    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

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From CTAN Announcements@21:1/5 to CTAN Announcements on Thu Jun 12 18:28:39 2025
    Paul Eduard Koenig submitted an update to the

    FraGoLi

    package.

    Version: 1.2.3 2025-06-11
    License: lppl1.3c

    Summary description: Macros for constructing complex semantic derivations

    Announcement text: ----------------------------------------------------------------------

    * Fix wrong argument ordering in indirect translation commands

    ----------------------------------------------------------------------

    The package’s Catalogue entry can be viewed at
    https://ctan.org/pkg/fragoli

    The package’s files themselves can be inspected at
    https://mirrors.ctan.org/macros/latex/contrib/fragoli/

    ------------------------------------------------------------------------

    Thanks for the upload.

    For the CTAN Team
    Petra Rübe-Pugliese

    ------------------------------------------------------------------------

    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)