key icon indicating copy to clipboard operation
key copied to clipboard

Published 20 hours ago • verified publisher icon KeYProject

KeY-BOOK2: Testgen has diverged from book description

Open wadoon opened this issue 1 year ago • 0 comments

  • [ ] KeY diverged from the second KeY book, Macro is not there anymore. image

  • [ ] Incorrect tooltip: Macro was removed?! image

@unp1 @mattulbrich

wadoon avatar Feb 12 '24 00:02 wadoon