search

hhu-stups / prob-issues

ProB issues (for probcli, ProB Tcl/Tk, ProB2, ProB2UI)
6 stars 0 forks source link

Fix Internationalized Strings for Checking Types in Symbolic Model Checking, Symbolic Animation, Test Case Generation and SimB #51

Closed favu100 closed 2 years ago

favu100 commented 3 years ago

Strings for checking types in Symbolic Model Checking, Symbolic Animation, Test Case Generation, and SimB are not internationalized yet

iTitus commented 2 years ago

Is this fixed @favu100 ? answer: no

iTitus commented 2 years ago