Setting aside the other logic-related things I really ought to be doing, I’ve just been going in for a bit of constructive procrastination, systematically checking through the LaTeX for Logicians pages for the first time in almost three years. There’s some very minor re-arrangement, some renewing of broken links, and just a few new links.
As I’ve said before, whatever one’s issues and reservations about LaTeX for more general use, it is still surely quite invaluable for logicians. The LaTeX for Logicians pages continue to be heavily visited; so do please let me know how these pages can be improved, what new LaTeX packages of use to logicians that I have missed, etc.