log man/mark.texi @ 32544:244478dd087e

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 #