Compare commits

base: isabelle:feature/extra-features

Branches Tags

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

..

compare: isabelle:133cd23e244970f1acabb224a748297d4dbf9825

Branches Tags

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

2 Commits

feature/ex ... 133cd23e24

Author	SHA1	Message	Date
Isabelle	133cd23e24	Merge branch 'feature/extra-features' into fix-config-extra-features	2026-05-08 10:52:48 +02:00
Isabelle	509324d7a7	remove hard-coded url	2026-05-08 09:26:57 +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