../ texbook.tex-1995 08-Mar-1995 20:53 1383018 texbook.tex-1998 10-Aug-1998 05:18 1383616 texbook.tex-2008 01-Mar-2008 23:49 1384093 texman.tex-1987 30-Oct-1987 23:00 1374395