Stanford Lecture: The Internal Details of TeX82 - Session 11 (July 30, 1982)

Hi. This is session number 11.

Take a deep breath. I was just thinking this morning after discussion, someone said,

why do you call it a err file? Wouldn't log be a much better name? And absolutely it's much better.

So it's sold. And our log files are going to be called "log" instead of "err"

from now on. There will probably be other things that people are watching this on videotape