search

Kaeldehta / vips-logic-exercises-plugin

A Studip plugin that adds Vips exercises needed for the Intro to Logic course at university Osnabrück.
MIT License
3 stars 0 forks source link

Biconditional elim has wrong number of lines #32

Closed Kaeldehta closed 2 years ago

Kaeldehta commented 2 years ago

Describe the bug Bi-conditional elimination rule needs 2 lines to be selected

To Reproduce Steps to reproduce the behavior:

  1. Add rule application line in fitch proof
  2. Select Biconditional elim rule
  3. See 2 line select boxes

Expected behavior Only one line select box should be shown

Screenshots

image

Desktop:

Kaeldehta commented 2 years ago

:tada: This issue has been resolved in version 1.0.2 :tada:

The release is available on GitHub release

Your semantic-release bot :package::rocket: