diproche / webinterface

1 stars 0 forks source link

The vocabulary check is case sensitive #64

Closed TimothyGillespie closed 5 years ago

TimothyGillespie commented 5 years ago

Expected Behavior:

The input Es sei $A und B$ returns no error. Generally, allowed words will still be allowed even if they the first letter is capitalized.

Current Behavior

The input Es sei $A und B$ returns three errors, while es sei $a und b$ returns none.

Steps to reproduce

  1. Go to Spielweise -> Aussagenlogisches Beweisen
  2. Enter Es sei $A und B$ and es sei $a und b$

Possible Implementation

The text, when received as a parameter, could be converted to all lowercase.