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

Compare commits

base: isabelle:5b6304d05dc0d21ce142cb6951f70ab4498d24ad
Branches Tags
isabelle:main isabelle:feature/is_imageslider-simplified isabelle:feature/is_imageslider-PS9
..
compare: isabelle:main
Branches Tags
isabelle:feature/is_imageslider-simplified isabelle:feature/is_imageslider-PS9 isabelle:main
These branches are equal.