search

ideas-edu / logictools

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

volledige oplossing #413

Open josjelodder opened 2 years ago

josjelodder commented 2 years ago

het vragen naar een volledige oplossing in logex-equivalenties lukt niet (bij de normaalvormen gaat het wel goed)

Uncaught TypeError: Cannot read properties of undefined (reading 'getText') at sn.showSolution (TwoWayController.js:212:73) at sn. (ExerciseController.js:33:12)

BenEdV commented 2 years ago

Op https://www.bendevries.com/logictools/main/ werkt het wel, zie dat er ook een "voltooi mijn oplossing" optie is. Het lijkt erop dat er nog een oude versie van logex op http://ideas.cs.uu.nl/logex/ draait. @alexgerdes Zou jij hiernaar kunnen kijken?