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

Revise df-cleq and df-clel #3389

Merged
merged 13 commits into from
Aug 18, 2023
Merged

Revise df-cleq and df-clel #3389

merged 13 commits into from
Aug 18, 2023

Commits on Aug 15, 2023

  1. revise definitions df-cleq and df-clel and make necessary adjustments… 

    …; introduce subsections in section 'Classes' for clarity; a few minor edits; add df-bj-mpt2 to my mathbox
    @benjub
    benjub committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    9b125fb View commit details
    Browse the repository at this point in the history

  2. typos, layout

    @benjub
    benjub committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    8ac3839 View commit details
    Browse the repository at this point in the history

  3. fix bad 'avoids' annotations

    @benjub
    benjub committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    0d48dd0 View commit details
    Browse the repository at this point in the history

  4. fix discouraged tags

    @benjub
    benjub committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    eea2bfa View commit details
    Browse the repository at this point in the history

  5. mathbox: fix df-bj-mpt2

    @benjub
    benjub committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    3fc078e View commit details
    Browse the repository at this point in the history

  6. grammar ambiguity: bump lookahead from 5 to 6

    @benjub
    benjub committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    7191dd0 View commit details
    Browse the repository at this point in the history

  7. grammar ambiguity: bump lookahead from 6 to 8

    @benjub
    benjub committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    d2eddc1 View commit details
    Browse the repository at this point in the history

  8. grammar ambiguity: bump lookahead from 8 to 12

    @benjub
    benjub committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    06cca95 View commit details
    Browse the repository at this point in the history

  9. remove suspicious definition; restore 'klr 5'

    @benjub
    benjub committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    7e300b7 View commit details
    Browse the repository at this point in the history

Commits on Aug 17, 2023

  1. edit comment of df-clab; add eleq1ab and cleljustab

    @benjub
    benjub committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    77ebe1f View commit details
    Browse the repository at this point in the history

  2. typos

    @benjub
    benjub committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    0bc1418 View commit details
    Browse the repository at this point in the history

  3. taking review into account

    @benjub
    benjub committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    efe6b85 View commit details
    Browse the repository at this point in the history

  4. minor

    @benjub
    benjub committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    ab1ded1 View commit details
    Browse the repository at this point in the history