Dev
Code
Review changes
Check out branch
Open in Workspace
Download
Patches
Plain diff
Expand sidebar
Dev
Leon Raffael Schulz
requested to merge
dev
into
main
Nov 19, 2025
Overview
0
Commits
3
Pipelines
0
Changes
2
Current renamed version of Isabelle main file.
Merge request reports
Loading