search

hhu-stups / prob-issues

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

Improve error display and add an error log #337

Open iTitus opened 7 months ago

iTitus commented 7 months ago

Related to: