Open wadoon opened 6 months ago
[ ] KeY diverged from the second KeY book, Macro is not there anymore.
[ ] Incorrect tooltip: Macro was removed?!
@unp1 @mattulbrich
[ ] KeY diverged from the second KeY book, Macro is not there anymore.![image](https://github.com/KeYProject/key/assets/104259/9d6619d4-8c38-47ab-a48f-489efb997fcd)
[ ] Incorrect tooltip: Macro was removed?!![image](https://github.com/KeYProject/key/assets/104259/5626d81d-007f-4a8d-a4d0-0b1c9d4bd234)
@unp1 @mattulbrich