/ProofTools/ Documentation!
Closed this issue · 0 comments
RyanR712 commented
This would be the final part of Ryan's documentation spree, but unfortunately he is no longer happy with the format used for files outside of /DrawTools/. He is definitely doing the world a service, if you define the world in terms of the one person who will read any of this about 13 years from now.