log

age author description
Mon, 30 Aug 2004 19:05:10 +0000 John Paul Wallington *** empty log message ***
Mon, 30 Aug 2004 19:04:18 +0000 John Paul Wallington (tex-validate-buffer): Use distinct strings rather than