<i>mark-read-pointer</i>


[Next] [Up] [Previous]
Next: remove-bookmark Up: Bookmarks Previous: Bookmarks

mark-read-pointer

[tex2html_wrap6166] [FUNCTION]

Mark current location of read pointer.

TV Raman
Thu Mar 9 20:10:41 EST 1995