Skip to content

Commit

Permalink
Merge branch 'isabelle2020-dune-2024RC2' of github.com:tlaplus/tlapm …
Browse files Browse the repository at this point in the history 
…into isabelle2020-dune-2024RC2
  • Loading branch information
@muenchnerkindl
muenchnerkindl committed Apr 23, 2024
2 parents bd0e9c1 + d5d8dbf commit 048a3c0
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit 048a3c0

Please sign in to comment.