-
Sarah Grebing authored
# Conflicts: # keydeps/lib/components/key.core.jar # keydeps/lib/components/key.ui.jar # keydeps/lib/components/key.util.jar # ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/ProofTree.java # ui/src/main/resources/edu/kit/iti/formal/psdbg/examples/contraposition/script.kps
67adb6bb