Compare commits

base: isabelle:406411b5bc351c9cd8ac2f640db9784d22d5ed66

Branches Tags

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

...

compare: isabelle:feature/is_themecore-PS9

Branches Tags

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

1 Commits

406411b5bc ... feature/is

Author	SHA1	Message	Date
Isabelle	310148d00c	Merge branch 'fix-config' into feature/is_themecore-PS9	2026-05-08 11:01:06 +02: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