add user documentation for Isabelle Translation extension#41
Merged
WolframPfeifer merged 2 commits intoKeYProject:masterfrom May 19, 2025
Merged
add user documentation for Isabelle Translation extension#41WolframPfeifer merged 2 commits intoKeYProject:masterfrom
WolframPfeifer merged 2 commits intoKeYProject:masterfrom
Commits
Commits on May 11, 2025
- authored andcommitted
- authored andcommitted
