Compare commits

base: isabelle:feature/is_themecore-PS9

Branches Tags

isabelle:main isabelle:feature/extra-features isabelle:feature/is_themecore-PS9

..

compare: isabelle:main

Branches Tags

isabelle:feature/extra-features isabelle:main isabelle:feature/is_themecore-PS9

1 Commits

feature/is ... main

Author	SHA1	Message	Date
Isabelle	abd8d60502	Merge branch 'feature/is_themecore-PS9'	2025-11-20 09:51:55 +01:00

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Expand all files Collapse all files

Diff Content Not Available