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

Isabelle/HOL translation: comments #2974

Merged
merged 9 commits into from
Sep 2, 2024
Merged

Isabelle/HOL translation: comments #2974

merged 9 commits into from
Sep 2, 2024

Commits on Sep 2, 2024

  1. translate locations

    @lukaszcz
    lukaszcz committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    25fb478 View commit details
    Browse the repository at this point in the history

  2. HasLoc

    @lukaszcz
    lukaszcz committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    ea810db View commit details
    Browse the repository at this point in the history

  3. comments

    @lukaszcz
    lukaszcz committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    57d6e5d View commit details
    Browse the repository at this point in the history

  4. ppComments

    @lukaszcz
    lukaszcz committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    8fe8459 View commit details
    Browse the repository at this point in the history

  5. locations

    @lukaszcz
    lukaszcz committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    668ba42 View commit details
    Browse the repository at this point in the history

  6. fix comments

    @lukaszcz
    lukaszcz committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    00e8b68 View commit details
    Browse the repository at this point in the history

  7. fix comment locations

    @lukaszcz
    lukaszcz committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    6029607 View commit details
    Browse the repository at this point in the history

  8. fix tests

    @lukaszcz
    lukaszcz committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    b92c13a View commit details
    Browse the repository at this point in the history

  9. Separate Comment from pretty Options (#2988) 

    I think it makes more sense to not have `State Options` as they are
supposed to be immutable and have a separate `Input` effect for
comments.
    @janmasrovira @lukaszcz
    janmasrovira authored and lukaszcz committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    b2faa3d View commit details
    Browse the repository at this point in the history