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

Fix typos, commas, hyphens and more #62

Open
wants to merge 13 commits into
base: master
Choose a base branch
from
Open

Fix typos, commas, hyphens and more #62

wants to merge 13 commits into from

Commits on Aug 4, 2021

  1. fix typos, capitalization

    @anbereza
    anbereza committed Aug 4, 2021
    Configuration menu
    Copy the full SHA
    94f84b4 View commit details
    Browse the repository at this point in the history

  2. fix formatting in lecture-07.tex slide 24

    @anbereza
    anbereza committed Aug 4, 2021
    Configuration menu
    Copy the full SHA
    c7ad909 View commit details
    Browse the repository at this point in the history

  3. update date for Formale Systeme

    @anbereza
    anbereza committed Aug 4, 2021
    Configuration menu
    Copy the full SHA
    a73613f View commit details
    Browse the repository at this point in the history

  4. update highlighting for first two lectures

    @anbereza
    anbereza committed Aug 4, 2021
    Configuration menu
    Copy the full SHA
    166132f View commit details
    Browse the repository at this point in the history

  5. fix typo, closes knowsys#57

    @anbereza
    anbereza committed Aug 4, 2021
    Configuration menu
    Copy the full SHA
    39d6f68 View commit details
    Browse the repository at this point in the history

  6. add comma in: genau dann wenn

    @anbereza
    anbereza committed Aug 4, 2021
    Configuration menu
    Copy the full SHA
    1f16d3b View commit details
    Browse the repository at this point in the history

  7. add commas, fix typos

    @anbereza
    anbereza committed Aug 4, 2021
    Configuration menu
    Copy the full SHA
    2f796c3 View commit details
    Browse the repository at this point in the history

  8. remove hyphens in 'Nicht-.../nicht-...'; Prädikatssymbol -> Prädikate… 

    …nsymbol
    @anbereza
    anbereza committed Aug 4, 2021
    Configuration menu
    Copy the full SHA
    d5acd46 View commit details
    Browse the repository at this point in the history

  9. Herbrand... -> Herbrand-...

    @anbereza
    anbereza committed Aug 4, 2021
    Configuration menu
    Copy the full SHA
    58c96eb View commit details
    Browse the repository at this point in the history

  10. remove hyphens

    @anbereza
    anbereza committed Aug 4, 2021
    Configuration menu
    Copy the full SHA
    e82d4f9 View commit details
    Browse the repository at this point in the history

  11. add missing hyphen in: Semi.../semi...

    @anbereza
    anbereza committed Aug 4, 2021
    Configuration menu
    Copy the full SHA
    b3873bc View commit details
    Browse the repository at this point in the history

  12. remove more hyphens

    @anbereza
    anbereza committed Aug 4, 2021
    Configuration menu
    Copy the full SHA
    6483c85 View commit details
    Browse the repository at this point in the history

  13. fix hyphenation in lecture-22.tex

    @anbereza
    anbereza committed Aug 4, 2021
    Configuration menu
    Copy the full SHA
    648c863 View commit details
    Browse the repository at this point in the history