Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Tail-modulo-cons manual chapter #10740

Merged
merged 6 commits into from
Mar 8, 2022
Merged

Tail-modulo-cons manual chapter #10740

merged 6 commits into from
Mar 8, 2022

Commits on Mar 7, 2022

  1. documentation chapter for [@tail_mod_cons]

    @gasche @Octachron
    gasche authored and Octachron committed Mar 7, 2022
    Configuration menu
    Copy the full SHA
    ec6b0f4 View commit details
    Browse the repository at this point in the history

  2. missing line break in TMC warning message 

    With the previous format, the warnings would print
badly (overflow the line) in the manual.

The underlying problem is that warning messages are passed
around as strings, without formatting hints.
    @gasche @Octachron
    gasche authored and Octachron committed Mar 7, 2022
    Configuration menu
    Copy the full SHA
    ca8ae42 View commit details
    Browse the repository at this point in the history

Commits on Mar 8, 2022

  1. reformat another TMC warning message

    @gasche @Octachron
    gasche authored and Octachron committed Mar 8, 2022
    Configuration menu
    Copy the full SHA
    adbebc1 View commit details
    Browse the repository at this point in the history

  2. Apply suggestions from code review 

    Co-authored-by: wiktorkuchta <35867657+wiktorkuchta@users.noreply.github.com>
Co-authored-by: David Allsopp <david.allsopp@metastack.com>
Co-authored-by: Konstantin Romanov <kromanov1@bloomberg.net>
Co-authored-by: Josh Berdine <josh@berdine.net>
Co-authored-by: John Whitington <john@coherentgraphics.co.uk>
    @gasche @wikku
    @dra27 @ksromanov @jberdine @johnwhitington @Octachron
    6 people authored and Octachron committed Mar 8, 2022
    Configuration menu
    Copy the full SHA
    a0a904f View commit details
    Browse the repository at this point in the history

  3. move the tail_mod_cons documentation for "Langage Extensions" to "Tools"

    @gasche @Octachron
    gasche authored and Octachron committed Mar 8, 2022
    Configuration menu
    Copy the full SHA
    cb10fcd View commit details
    Browse the repository at this point in the history

  4. simple -> natural?

    @gasche @Octachron
    gasche authored and Octachron committed Mar 8, 2022
    Configuration menu
    Copy the full SHA
    1179905 View commit details
    Browse the repository at this point in the history