Isabelle Translation#3514
Merged
WolframPfeifer merged 271 commits intoKeYProject:mainfrom May 19, 2025
Merged
Commits
This pull request is big! We're only showing the most recent 250 commits
Commits on Mar 5, 2024
- committed
- committed
- committed
- committed
Commits on Mar 6, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Mar 7, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Mar 8, 2024
Commits on Mar 9, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Mar 10, 2024
Commits on Mar 11, 2024
- committed
Commits on Mar 13, 2024
Commits on Mar 14, 2024
Commits on Mar 15, 2024
Commits on Mar 16, 2024
Commits on Mar 17, 2024
Commits on Mar 18, 2024
Commits on Mar 20, 2024
Commits on Mar 21, 2024
- committed
- committed
Commits on Mar 22, 2024
- committed
Commits on Mar 25, 2024
Commits on Apr 2, 2024
- committed
- committed
- committed
Commits on Apr 8, 2024
- committed
Commits on Apr 11, 2024
- committed
Commits on Apr 12, 2024
Commits on Apr 13, 2024
- committed
- committed
- committed
- committed
- committed
Commits on Apr 14, 2024
Commits on Apr 15, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Apr 16, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Apr 18, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Apr 19, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Apr 20, 2024
- committed
- committed
- committed
- committed
Commits on Apr 21, 2024
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Apr 22, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Apr 23, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Apr 24, 2024
Commits on Apr 25, 2024
Commits on Apr 26, 2024
Commits on May 3, 2024
Commits on May 4, 2024
Commits on May 6, 2024
Commits on May 7, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on May 8, 2024
Commits on Jul 4, 2024
Commits on Jul 17, 2024
Commits on Aug 21, 2024
Commits on Sep 4, 2024
- committed
- committed
- committed
Let Launcher write back files, no need for double writing, add interface changes for previous commit
committed- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Sep 5, 2024
Commits on Sep 19, 2024
- committed
Commits on Sep 22, 2024
Commits on Sep 23, 2024
Commits on Sep 24, 2024
- committed
- committed
- committed
- committed
- committed
Commits on Oct 8, 2024
Commits on Oct 10, 2024
- committed
Commits on Oct 17, 2024
Commits on Oct 21, 2024
Commits on Oct 22, 2024
Commits on Oct 23, 2024
- committed
- committed
- committed
- committed
- committed
