Skip to content
Snippets Groups Projects
Commit d92b6032 authored by Edward Sabinus's avatar Edward Sabinus
Browse files

added coords to element, so every Part of the proof got coords. Changed all... 

added coords to element, so every Part of the proof got coords. Changed all Exceptions related to elements to print its coords to the message. Maybe do the same for Trees?
parent c1a2a6b1
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 54 additions and 48 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment