## 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