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 #36

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

Fix typos #36

wants to merge 31 commits into from

Commits on Jun 16, 2024

  1. Update index.md

    @pitmonticone
    pitmonticone committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    60789d8 View commit details
    Browse the repository at this point in the history

  2. Update index.md

    @pitmonticone
    pitmonticone committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    e081820 View commit details
    Browse the repository at this point in the history

  3. Update installation.md

    @pitmonticone
    pitmonticone committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    a1a1f67 View commit details
    Browse the repository at this point in the history

  4. Update jedit.md

    @pitmonticone
    pitmonticone committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    4d9e172 View commit details
    Browse the repository at this point in the history

  5. Update server.md

    @pitmonticone
    pitmonticone committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    e5d5b18 View commit details
    Browse the repository at this point in the history

  6. Update shell.md

    @pitmonticone
    pitmonticone committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    e56c636 View commit details
    Browse the repository at this point in the history

  7. Update tgview.md

    @pitmonticone
    pitmonticone committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    fa8183b View commit details
    Browse the repository at this point in the history

  8. Update building.md

    @pitmonticone
    pitmonticone committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    262958a View commit details
    Browse the repository at this point in the history

  9. Update lmh.md

    @pitmonticone
    pitmonticone committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    ffae533 View commit details
    Browse the repository at this point in the history

  10. Update meta_inf.md

    @pitmonticone
    pitmonticone committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    f1ee3bd View commit details
    Browse the repository at this point in the history

  11. Update contributing.md

    @pitmonticone
    pitmonticone committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    92d864e View commit details
    Browse the repository at this point in the history

  12. Update releases.md

    @pitmonticone
    pitmonticone committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    d0dcf17 View commit details
    Browse the repository at this point in the history

  13. Update scala.md

    @pitmonticone
    pitmonticone committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    fac1e89 View commit details
    Browse the repository at this point in the history

  14. Update declarations.md

    @pitmonticone
    pitmonticone committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    dcb4727 View commit details
    Browse the repository at this point in the history

  15. Update implicit.md

    @pitmonticone
    pitmonticone committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    9e35296 View commit details
    Browse the repository at this point in the history

  16. Update index.md

    @pitmonticone
    pitmonticone committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    0234c0f View commit details
    Browse the repository at this point in the history

  17. Update inductive.md

    @pitmonticone
    pitmonticone committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    f780acc View commit details
    Browse the repository at this point in the history

  18. Update inductivedefinitions.md

    @pitmonticone
    pitmonticone committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    66c58c0 View commit details
    Browse the repository at this point in the history

  19. Update informal.md

    @pitmonticone
    pitmonticone committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    d56197d View commit details
    Browse the repository at this point in the history

  20. Update applications.tex

    @pitmonticone
    pitmonticone committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    0cf1115 View commit details
    Browse the repository at this point in the history

  21. Update index.md

    @pitmonticone
    pitmonticone committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    e1e867f View commit details
    Browse the repository at this point in the history

  22. Update 4natded.md

    @pitmonticone
    pitmonticone committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    ab2b713 View commit details
    Browse the repository at this point in the history

  23. Update 3LF.md

    @pitmonticone
    pitmonticone committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    ca820e9 View commit details
    Browse the repository at this point in the history

  24. Update running.md

    @pitmonticone
    pitmonticone committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    8bfa195 View commit details
    Browse the repository at this point in the history

  25. Update repo.md

    @pitmonticone
    pitmonticone committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    b14ec1d View commit details
    Browse the repository at this point in the history

  26. Update docker.md

    @pitmonticone
    pitmonticone committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    4a427d0 View commit details
    Browse the repository at this point in the history

  27. Update devel.md

    @pitmonticone
    pitmonticone committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    39bb6d8 View commit details
    Browse the repository at this point in the history

  28. Update configure.md

    @pitmonticone
    pitmonticone committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    06c326b View commit details
    Browse the repository at this point in the history

  29. Update papers.md

    @pitmonticone
    pitmonticone committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    4af0422 View commit details
    Browse the repository at this point in the history

  30. Update independence.md

    @pitmonticone
    pitmonticone committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    5c7dd6b View commit details
    Browse the repository at this point in the history

  31. Update modules.md

    @pitmonticone
    pitmonticone committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    0ceb988 View commit details
    Browse the repository at this point in the history