log man/mark.texi @ 34970:947b53b0a1da

age author description
Wed, 05 Jan 2000 23:25:33 +0000 Dave Love Highlighting on tty now.
Wed, 29 Sep 1999 15:17:24 +0000 Dave Love #