Skip to content

Commit 70d53b3

Browse files
muenchnerkindlmuenchnerkindl
committed
Merge branch 'isabelle2025' of github.com:tlaplus/tlapm into isabelle2025
Signed-off-by: Stephan Merz <[email protected]>
2 parents bb15963 + 403f631 commit 70d53b3

File tree

0 file changed

+0
-0
lines changed

    0 file changed

    +0
    -0
    lines changed

    0 commit comments

    Comments
     (0)