You are using an out of date browser. It may not display this or other websites correctly.
You should upgrade or use an
alternative browser.
-
P
If Greg restores ability to edit, I am willing to do this within all latex brackets. Where I just refer to log as text, I would rather...