History of the file that is called r38/doc/util/r38.dvi at check-in 1a5610c3c9e0ca84