THEOREM LINKER
v0.7(More notes to be added later)
- Theorem linker will now check for a .cls file, if any theorems are defined inside this class file, they can also be found inside the LaTeX file.
- Reordered Verex names in graphs (theorem followed by label, previously it was the reverse).
- Fixed error using -p where if "end of proof" always ended with newline
No comments:
Post a Comment