isabelle/is_themecore-PS9
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Compare commits

base: isabelle:310148d00c688aad05da854f13d29c5d2343e8ee
Branches Tags
isabelle:main isabelle:feature/is_themecore-PS9 isabelle:feature/extra-features isabelle:fix-config-extra-features isabelle:fix-config
...
compare: isabelle:60e57a5df6870d25da7c6ca249d02c8714d34ad8
Branches Tags
isabelle:feature/is_themecore-PS9 isabelle:feature/extra-features isabelle:fix-config-extra-features isabelle:fix-config isabelle:main
These branches are equal.