Skip to content
Snippets Groups Projects
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.

    Unstarted Issues (open and unassigned)
    0
    Ongoing Issues (open and assigned)
    0
    Completed Issues (closed)
    0