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

Compare commits

base: isabelle:abd8d605027d22932c39aa6385a9eaf815e6d77f
Branches Tags
isabelle:main isabelle:feature/extra-features isabelle:feature/is_themecore-PS9
...
compare: isabelle:feature/is_themecore-PS9
Branches Tags
isabelle:feature/extra-features isabelle:main isabelle:feature/is_themecore-PS9
These branches are equal.