search

ideas-edu / logictools

Logic tools
https://www.bendevries.com/logictools/main
Apache License 2.0
1 stars 0 forks source link

meegeven regelnaam bij equivalentiebewijzen logex #398

Closed josjelodder closed 2 years ago

josjelodder commented 2 years ago

Bij het doorgeven van de stap van een student wordt nu rule: null meegegeven, dat zou de regelnaam moeten zijn (zoals ook in het bewijs zelf gebeurt)

BenEdV commented 2 years ago

Is dit nog steeds een probleem? Ik zie geen "rule": null als ik een stap maak

josjelodder commented 2 years ago

deze lijkt ondertussen opgelost