log man/mark.texi @ 28675:a4328cafed66

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 #