Closed
Milestone
Better printing of errors found during proof checking
Print not only the ID of the error, but also the description of the error.
For this first improve the system of error saving: Create for each error type a class. Then add to each error class a description.
Loading
Loading
Loading
Loading