../ history.txt 02-Sep-1985 22:00 3358 tex82.dif 08-Dec-1983 23:00 102K texman.tex 30-Oct-1987 23:00 1M