../ history.txt 02-Sep-1985 22:00 3358 tex82.dif 08-Dec-1983 23:00 104554 texman.tex 30-Oct-1987 23:00 1374395