Friday, 20 July 2012

(v0.7) Added .cls searching



(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
Download v0.7

No comments:

Post a Comment