mark-read-pointer



[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