Tobias Reinhold

More general equalsModProperty

1

## Intended Change Building on top of #3386, the interface `EqualsModProperty` has now been changed so that it can be used not just with `Term`s but theoretically any class if...

HacKeYthon: Improved Taclet Options

13

## Related Issue This pull request addresses #3414. ## Intended Change Remove the old dialog to change taclet options. Taclet options can now be accessed through the new unified settings...

## Description While working on some things in `keyext.rusty` I was taking a look at EqualsModProofIrrelevancy in `key.util` to see where it is used and how it works. The test...